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

4. 会議予定システムのゴールモデル
• 利害関係者からの要求をゴールとして獲得
3

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