| 研究概要 |
形式的検証とwebオントロジーとの融合技術に基づく大規模情報システムの要件分析のための設計支援システムの研究開発について,以下の研究成果が得られた.
ビジネスプロセスをモデリングするためのワークフローをインクリメンタルに設計・検証するための方法論に関して,従来の非循環ワークフローにおける一般正当性の概念を循環ワークフローに拡張した.このために,循環ワークフローにおけるループを差し戻しフローと通常のフローの組合せと見なし,ノーマルな差し戻し付きワークフローに対するセマンティクスを与えた.さらに,このセマンティクスに対応する全体正当性を定義し,与えられた差し戻し付きワークフローWが全体正当性を満たすことと,Wの通常の作業に関する部分と差し戻しに関する部分がそれぞれ非循環ワークフローとして従来の正当性を満たすことの同値性を証明した.さらに,この定理を基礎にして,従来の非循環ワークフローにおける一般正当性を,差し戻し付きワークフローにおける一般正当性として拡張することによって,差し戻しつきワークフローのインクリメンタルな設計・検証手法の基礎理論を構築した.
形式的検証とwebオントロジーとの融合技術を応用して,検索者の目的や意図を記録しつつ,それらを推論して,検索者の目的や意図に合った検索結果を導くための基礎理論およびオントロジーを構築した.さらに,この基礎理論とオントロジーを用いて,複数の医療DBに渡って,検索者の目的や意図を踏まえつつ,適切な医療データを抽出する方法を開発した.
|
