1995 Fiscal Year Annual Research Report
オブジェクト指向分析におけるモデルの正当性検証に関する研究
Project/Area Number |
06680318
|
Research Institution | Ritsumeikan University |
Principal Investigator |
大西 淳 立命館大学, 理工学部, 教授 (50160560)
|
Keywords | オブジェクト指向分析 / 要求分析 / 要求定義 / ソフトウェア開発 |
Research Abstract |
本年度はオブジェクト指向分析(OOA)における3つのモデル(オブジェクトモデル、機能モデル、動的モデル)の正当性検証とモデル間の整合性検証手法の有効性の確認を目標にして研究を行い、以下の成果を得た。 正当性検証について、オブジェクトモデルでは(1)属性とメソッドを持つかどうか、(2)他のオブジェクトと関係(関連,is-a, part-of)を持つかどうかを調べる。機能モデルについては、入力や出力のない機能がないかを、動的モデルについては、(1)各状態とそれを決定する属性の値が明示されているか、(2)各状態遷移での事象に伴う動作によって変化する属性の値が遷移前後で矛盾しないか、(3)状態を変化させる動詞とオブジェクトの状態遷移での事象に伴う動作と矛盾しないかを調べる。 モデル間の整合性検証についてはそれぞれ2つのモデル間での整合性を検証する。オブジェクトモデルと動的モデルの整合性検証については、まず動的モデルに対応するオブジェクトがあるかどうかを確認した上で(1)オブジェクトの属性と動的モデルでの状態を決める属性の間に矛盾がないか、(2)属性の取りうる値と状態を決める属性の値に矛盾がないか、(3)オブジェクトの操作と状態の活動や状態遷移に伴う動作の間に矛盾がないかを調べる。オブジェクトモデルと機能モデルの整合性検証については、オブジェクトと機能モデルのアクターが対応するかどうかを確認した上で(1)オブジェクト間の関連とデータフローに矛盾がないか、(2)オブジェクトの操作とデータフローに矛盾がないかを調べる。さらに動的モデルのイベントに順序付をすることによって、機能モデルにおけるデータの流れや装置の動きをシナリオ化し、そのシナリオを実行することによって、データの流れや装置の動きを逐次的にアニメーションとして表示する。これにより機能モデルと動的モデルの整合性を検証する。 これらの手法をもとにしたプロトタイプをUnixワークステーション上でC言語を用いて開発し、いくつかの例題に適用した。プロトタイプによってオブジェクト指向分析過程での誤りを検出でき、手法の有効性を確認した。
|
-
[Publications] 大西 淳: "ビジュアルなソフトウェア要求仕様化技法" 情報処理学会論文誌. 36. 1183-1191 (1995)
-
[Publications] 大西 淳 他: "オブジェクト指向分析におけるモデルの検証支援" 情報処理学会オブジェクト指向'95シンポジウム論文集. 189-196 (1995)
-
[Publications] 大西 淳: "コミュニケーションモデルに基づいたビジュアルな要求定義技法" 情報処理学会サマーワークショップ・イン・立山論文集. 57-64 (1995)
-
[Publications] 宇野 勝 他: "オブジェクト指向分析におけるモデル間整合性検証支援システムの開発" 情報処理学会全国大会講演論文集. 5. 113-114 (1995)
-
[Publications] Atsushi Ohnishi: "CARD: an Environment for Software Requirements Definition" Proc. Asia-Pacific Software Engineering Conference. 420-429 (1995)
-
[Publications] 大西 淳: "要求仕様データベースシステムの開発" ソフトウェア工学基礎(FOSE)ワークショップ論文集. 2. 1-10 (1995)