研究概要 |
本研究の主な成果は,大規模情報システム開発における要件分析に用いられるワークフロー図を中心とした仕様書の作成・検証手法および支援ツールの研究開発である.特に,複数の設計者が共同して少しずつ作成および整合性の検証を行いながら,ワークフロー図の全体を矛盾なく作成することを可能にする手法であるインクリメンタルなワークフロー図の設計・検証手法の基礎理論を構築した.さらに,医療サービスのオントロジーを用いて,要件分析に必要な異なる種類の仕様書を互いに関連付けながら設計するためのフレームワークの研究開発を行った.
|