オブジェクト指向分析におけるモデル間の整合性検証支援
スポンサーリンク
概要
- 論文の詳細を見る
オブジェクト指向分析における動作をあらわすモデルとデータの変換をあらわすモデルの正当性とモデル間の整合性の検証手法を提案する。ある事象にともなう個々のオブジェクトの状態遷移によって表された動的モデルとデータの流れをビジュアルな要求言語VRDLによって表された機能モデルから、データの一連の流れを「動作シナリオ」として導き出す。さらにデータや装置といったオブジェクトの動きを、異なるアイコンの切り替え表示や異なる位置への表示として定義させる。この動作定義を動作シナリオからデータの動きをアニメーションによって表示し、利用者に2つのモデルの正当性と整合性をチェックさせる。
- 1993-07-19
著者
関連論文
- 要求フレームに基づいたソフトウェア要求仕様化技法
- 要求定義のための要求フレーム
- 実行時エラーのプログラム相談システム『Consult:R』
- コンパイルエラーのプログラム相談システム『Consult:C』の評価
- Consult(コンパイル編)のシステム化について
- プログラム相談プロジェクトConsultの全体構想
- FORTRANコンパイルエラーに対するプログラム相談の自動化
- オブジェクト指向分析における機能モデルの正当性検証手法
- ビジュアルな仕様言語処理系の開発
- オブジェクト指向分析における機能モデル検証支援
- オブジェクト指向分析におけるモデル間の整合性検証支援
- ビジュアルなソフトウェア要求定義支援
- ビジュアルな要求言語
- 簡単な日本経済モデル解釈のためのエキスパートシステム
- ソフトウェア要求定義のためのコミュニケーションモデル