氏名: 北野拓哉 (m05762)
論文題目: オブジェクト指向分析における動的モデル構築支援法の研究
論文概要
オブジェクト指向分析における動的モデルは状態遷移図を用いて構築されるが、
このモデルの構築過程において二つの問題が生じる。クラスのトップダウン分
割に対して状態遷移図もそれに対応させるべく分割しなければならないが、そ
の分割の手法が明確でない。またクラスの詳細化により状態遷移図の記述内容
が増え、その理解が困難となる。本研究ではこの二つの問題の解決手法として、
「状態遷移図分割アルゴリズム」を提案する。このアルゴリズムは状態遷移図
の同値類に分割された状態集合を入力とし、その各々の状態集合で新たに相互
通信を行う部分状態遷移図の自動構築を行う。状態遷移図はこのアルゴリズム
を適用しても分割前後の等価性が保持される。状態遷移図分割アルゴリズムの
適用により、一つ目の問題で示したクラスのトップダウン分割にともなう動的
モデルの変更作業が緩和される。また二つ目の問題についても、状態遷移図の
注目したい状態とそれ以外の状態の集合に分けてアルゴリズムを適用すれば、
元の状態遷移図は縮約されて注目したい状態のみの状態遷移図が構築される。
よって状態遷移図分割アルゴリズムは動的モデル構築支援の一手法として有効
である。
目次に戻る