UMLだけじゃないもやもやを解消するモデリング技術の紹介 その2 Feature Model
Download as PPTX, PDF0 likes509 views
第三回astah関西のCV細合の発表資料です
UMLだけじゃないもやもやを解消するモデリング技術の紹介 その2 Feature Model
- 4. 組合せ定義：フィーチャモデル ソフトウェアプロダクトラインのバリエーションの因子 を記述できるモデル 従来は、システム内のバリエーションを記述すること が多いが、今回はシステム外のモデリングにも使う 木構造で、小要素に対しMandatory（必須）、 Optional（選択）、Alternative（N個から1つ）、Or（N個 から0~N個）といった制約や、要素間にrequires、 excludesといった制約を加えることで、組合せを制限 することができる FM例 2019/08/29 ©Shintaro Hosoai SES2019 いまどき、モデルベースド開発 4 要素技術 FM A B A1 A2 B1 B2 mandatory alternative requires excludes 葉要素の組合せとして ・A1 - B1 ・A1 - B2 ・A2 - B1 ・A2 - B2 を取りうるが、requires/excludes制約で、 A1-B1, A2-B1の組合せに限定される
- 5. 組合せ生成：SAT Solver 組合せ生成の高速化のため、フィーチャモデルを SATのCNF形式に変換し、フィーチャモデルを充足す る組合せを導出している 一度出た組合せはCNFとして追加し、それ以外の組 合せを導出する 組合せが数万件になる場合でも数十秒で全組合せ を導出することができる 2019/08/29 ©Shintaro Hosoai SES2019 いまどき、モデルベースド開発 5 要素技術
- 6. ドキュメント生成： JETT 各フィーチャにはステレオタイプを付与でき、これを 元にテンプレートエンジンにより組合せ情報をExcel に出力することができる 2019/08/29 ©Shintaro Hosoai SES2019 いまどき、モデルベースド開発 6 要素技術 環境 天候 風速 <<Weather>> 晴れ <<Weather>> 雨 <<Wind>> 強風 <<Wind>> 微風 <<alt>><<alt>> 天候 風速 <jt:forEach ...> ${scenario.Weather} ${scenario.Wind} </jt:forEach> Template 天候 風速 晴れ 強風 晴れ 微風 雨 強風 雨 微風 output.xlsx
- 8. 実績 当初は、Excelで人手管理していたものが、次第にモ デルだけで完結するようになり、基本モデルが成熟 することで確認作業が格段に減った 基本環境 モデル ～100因子 シナリオ 約800件 拡張 モデルA +50因子 拡張 モデルB +80因子 シナリオ 約10万件 シナリオ 約250件 拡張 モデルC +50因子 シナリオ 600件
- 11. 【宣伝】astah system safety SysML, SCDL, STAMP/STPA, GSN入りの安全論証パッ ケージ。2月頃リリース予定