More Related Content
Similar to 2008 ismis-from goals to high-variability software design (20)
More from n-yuki (20)
2008 ismis-from goals to high-variability software design
- 1. 発表論文 • タイトル – 「From Goals to High-Variability Software Design」 （ゴールから変動性の高いソフトウェア設計へ） • 著者 – Yijun Yu、Alexei Lapouchnian、SotiriosLiaskos、 John Mylopoulos、Julio C.S.P. Leite • 出典 – ISMIS'08, Proceedings of the 17th international conference on Foundations of intelligent systems – ISBN:3-540-68122-1 978-3-540-68122-9 0
- 2. 概要 • 目的：ゴールモデルから、変動性の高い ソフトウェア設計を作成するため • 手法：ゴールモデルからフィーチャモデル、 ステートチャート、コンポーネントを作成 • 結果：変動性の高いソフトウェア設計の 作成過程を提示 1
- 3. 選定理由 • ゴールモデルを用いて、他のモデルを作成・ サポートする例を調査するため 2
- 5. ゴールモデルで使う記号1 • Aa ハードゴール（機能要求） • Bb ソフトゴール（非機能要求） • Cc システムが関与しない（完全に人手） • AND 子ゴールがすべて達成されないと、 親ゴールは達成できない • OR 子ゴールのどれか一つでも 達成できると、親ゴールは達成できる 4
- 6. ゴールモデルで使う記号2 • ； 二つのゴールは処理的に続いている • || 二つのゴールは同時に達成可能 • | どちらか片方のゴールが達成される とき、もう片方のゴールは達成できない • + 非機能要求に従っている • - 非機能要求に逆らっている 5
- 7. ゴールモデルの可変性 VP1～VP4の変化点により、 解決策は12パターン（2×3×2）存在 潜在的に12パターンすべてに対応できる 設計を生産する過程を作りたい ゴールモデルを3つの視点（フィーチャモデル、 ステートチャート、コンポーネント）で設計に 変換 6
- 8. 会議予定システムのフィーチャモデル • ゴールモデルのゴールを機能に変換 “最小労力”に 両方に対応で 関して向上する きる必要がある “正確性”と”障害” に関して衝突して いる 7
- 9. ゴールモデルからフィーチャモデルへの 変換ルール • ゴールモデルのAND/OR条件から、 フィーチャモデル視点の条件を決定 f2がなくても f2とf3の間には f2とf3の両方に対応 手作業でできる 関係性がある できる必要がある 8
- 10. 会議予定システムのステートチャート • ゴールモデルのAND/OR条件から、 ゴールを達成する順序を決定 ゴールモデルから 2 順序を導出 12の解決策を 処理の流れ として表現 9
- 11. 会議予定システムのコンポーネント • ゴールモデルのゴールをシステムの部品として 表現 3つのコンポーネントで 再利用している 10
- 12. ゴールモデルからコンポーネントへの 変換ルール g1はシステム • 部品の入出力を設定 じゃないので、 出力はイベント として表現 スイッチで 切り替える 11
- 13. ゴール指向モデリングツール OpenOMEの開発（1） • ゴールモデル、フィーチャーモデル作成用の Eclipseプラグイン • XMI形式でモデルを作成・保存 12
- 14. ゴール指向モデリングツール OpenOMEの開発（2） • ゴールモデルからフィーチャモデルへ ほぼ自動で変換 ゴールモデル フィーチャモデル 13
- 15. ケーススタディ（概要） • 既存メールシステムColumbaをもとに、 仮想電子メールシステムの – ゴールモデル – フィーチャモデル – ステートチャート – コンポーネント を作成 14
- 16. ケーススタディ（結果） • ゴールモデル – 48コのゴール（AND分解：10コ、OR分解：11コ） • フィーチャモデル – 39コの機能（9機能はNOPとして削除） – 11コの変化ポイント • ステートチャート – 21コのテストケース • コンポーネント – 33コのコンポーネント – 9コのスイッチ 変動性の高いソフトウェア設計を作成できた 15
- 17. まとめ ゴールモデルからフィーチャモデル、 ステートチャート、コンポーネントを作成 ケーススタディに適応 変動性の高いソフトウェア設計の作成過程を 提示できた 16
- 18. 私見 • 長所 – ゴールモデルから他のモデルへの変換が例とともに詳細 に記述されている – ここで開発されたOpenOMEは、現在i*や他のゴール指向 の研究のためのツールとしてよく用いられている • 短所 – ツールの説明は実行画面を用いて行ってほしい – ケーススタディで作成した設計モデルを実装し、作成された テストケースで本当にゴールモデルを満たしているかという ところまで見ないと、研究の正当性を証明できない 17