ドメインモデルの形式的記述手法ならびに要求仕様獲得への活用

情報処理学会

書誌事項

タイトル別名
  • Formal Method in Describing Domain Models and its Application to Requirement Acquisition.

この論文をさがす

抄録

ドメイン分析がソフトウェアの再利用性を向上させることはコンセンサスとなりつつある。ドメイン分析とは、同一問題領域におけるソフトウェアシステムを構築するのに用いられる情報を、将来の再利用のために獲得・組織化する工程を指す。この過程で得られる情報を基に、ドメインモデルを構築する。そして、このドメインモデルを軸にソフトウェアの開発を行なうことになる。これは、従来のソフトウェア部品を用いたボトムアップ的な手法に対するアンチテーゼとして生まれてきた、抽象化・具体化を柱とする手法である。現状の研究では、ドメインモデルは主に図示を基本とし、図中の表記も、自然言語を中心とした非形式的記述を用いるのが主流である。また、言語表記を目的にしていても形式的手法を施しているものは少数である。モデル自体が非形式的なため、その活用プロセスも不明確になってしまっている。記述される情報の正確性や機械による支援を考えた場合、形式的記述方法が適当であるのは言うまでもない。さらに、現状の研究で散見されるドメインモデルは、問題領域に普遍的に存在する物を表現しているが、それに加えて領域依存の情報の存在を考慮する必要がある。すなわち、普遍的な状態に対して、具体化をするにあたってどのようなオプションが考えられるか、情報を提示して具体化プロセスを支援する必要がある。このような現状を踏まえ、本研究ではオブジェクト指向概念を取り入れ、抽象度に応じて階層構造を持った形式的なドメインモデル記述言語開発を目指し、それによってモデル活用プロセスの形式化を目指す。なお、支援環境は要求分析工程とする。

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ