1. 選定理由
2つの論文
「Constructing Feature Models using Goal-Oriented Analysis」
「Goal-Driven Software Product Line Engineering」
を組み合わせ、問題点を分析
問題点の解決策を考案
問題解決に使えそうだから
0

2. 「Constructing Feature Models using
Goal-Oriented Analysis」 by 佐伯 元司
あらゆる要求に対応できる
フィーチャモデル
1

3. 「Goal-Driven Software Product Line
Engineering」 by Mohsen Asadi
ゴール
モデル
顧客満足度 FD=0
フィーチャ
の付与 それ以外=1
モデル
=1∨0 =1∨0
=1 =1
=0 =0 =1 顧客の要求に必要な機能
2
のみのフィーチャモデル

4. 問題点
• 既存システムのゴールモデルが存在
しなければならない
（既存システムの開発時に、ゴール指向
要求分析をしていなければならない）
• 既存システムのゴールモデルは、結合できる
ように互いに整合性がとれている必要がある
互いに整合性のとれた、既存システムの
ゴールモデルを作成する必要がある 3

5. 発表論文
• タイトル
– 「Reverse Engineering Goal Models
from Legacy Code」
（遺産コードからゴールモデルにリバースエンジニアリング）
• 著者
– Yijun Yu, Yiqiao Wang, John Mylopoulos, Sotirios Liaskos,
Alexei Lapouchnian,Julio Cesar Sampaio do Prado Leite
• 出典
– Proceedings of the 13th IEEE International Conference on
Requirements Engineering （2005）
4

6. 概要
• 目的：既存ソフトウェアから、可変性の高い
ソフトウェアを再設計するため
• 手法：既存ソフトウェアのソースコードから
ゴールモデルを導出
• 結果：提案手法を用いることで、
コードからゴールモデルを導出できた
5

7. リバースエンジニアリングの蹄鉄モデル
ここがメイン
6

8. 提案手法
リファクタリング
構造化されているか？
ゴールモデルへ変換 7

9. 構造化されていないソースコードを
ステートチャートに変換1
ソースコード ステートチャート
8

10. 構造化されていないソースコードを
ステートチャートに変換2
ソースコード ステートチャート
9

11. ステートチャートの構造化1
Globalsとして
抽出
10

12. ステートチャートの構造化2
関数GlobalsSetに
/set_globalsを
入力
11

13. ステートチャートの構造化3
12

14. ステートチャートの構造化4
13

15. 構造化されたステートチャートを
GOTO文ありFORTRANコードへ写像
1. ステートチャートの各状態にラベルを付ける
2. 矢印先の状態に遷移するときは、
そのラベルにGOTO
14

16. GOTO文を除去し構造化
• FPTコンパイラを使用
15

17. ゴールモデルへの変換ルール
順次
選択
反復
SになるまでCを繰り返し、
SになったらBに 16

18. ソースコードからゴールモデルへ変換
17

19. 非機能要求の追加
非機能要求
--
非機能要求
++
18

20. 利用したツールなど
• リファクタリング
– JAVAなら、Eclipse IDEを利用
– PHP用にサポートツールを自作
• GOTO除去
– FORTRAN用のFTPコンパイラを利用
• ゴールモデルの抽出
– Eclipseフレームワーク（JAVAならJDT API）を利用
• 機能を持たないゴールの識別
– 再コンパイルで識別
• 非機能要求をソフトゴールにリンク
– 非機能要求フレームワークを利用
19

21. まとめ
既存システムのソースコードをリファクタリング
ソースコードが構造化されていなければ、
ステートチャートを作成しGOTO文を除去
構造化されたコードから、ゴールモデルを導出
非機能要求を識別し、ソフトゴールとして
ゴールモデルに追加 20

22. 私見
• 長所
– 構造化されていないプログラムであっても、
リバースエンジニアリングできるよう考慮されている
– コンフィギュレーションプロセスで重要な非機能要求まで
リバースエンジニアリングが対応している
• 短所
– 評価実験をしていない
システム開発過程で作られたゴールモデルと、
実際に開発されたシステムをリバースエンジニアリングして
作ったゴールモデルとを比較し、議論する必要がある
21