OMTにおけるモデルの一貫性について

概要

論文の詳細を見る
ソフトウェア開発においては,オブジェクト指向パラダイムヘ,着実にパラダイムシフトしつつある.いくつかのオブジェクト指向ソフトウェア開発技法が提案されているが,中でも,注目されている技法の一つに,J.Rumbaugh等によるOMT(Object Modeling Technique)がある.OMTのための上流CASEツールとして,StP/OMTなどがあるが,著者等は,さらに強力なCASEツールの開発を目指して,OMTモデルの一貫性チェックの支援に関して検討を行なったので,報告する.OMTでは,開発対象システムを,オブジェクトの静的な関係,オブジェクトの動的な振舞い,データ間の依存関係の三つの側面から,それぞれオブジェクトモデル,動的モデル,機能モデルと呼ばれる三つのモデルに分けて,記述する.思考の生産性のため,三つのモデルに分割してモデル化するが,これら三つのモデルは独立ではなく,相互に関係し合っており,一つの対象システムの意味的に統合されたモデルとして,それらの間で,一貫性が保たれていなければならない.もちろん,三つのモデルそれぞれとしても,一貫性が保たれていなければならない.OMTでは,分析フェーズで作られたモデルが,そのまま,設計フェーズ,実装フェーズに引き継がれる.例えば,設計は,分析フェーズの(出力としての)モデルを詳細化することによって行なう.その意味で,各フェーズごとのモデルが存在するが,ここでは,分析フェーズで作られたモデルを対象にしている.一貫性チェックはできるかぎり自動化すべきであるが,自動化が難しいことも多い.その場合は,コンピュータでチェックリストを生成し,分析者にチェックをしてもらうアプローチを採っている.2節,3節に主要なチェック項目を列挙する.
一般社団法人情報処理学会の論文
1996-03-06

OMTにおけるモデルの一貫性について

スポンサーリンク

概要

著者

関連論文

スポンサーリンク