| 研究課題/領域番号 |
20500045
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
ソフトウエア
|
|---|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
高木 理 北陸先端科学技術大学院大学, 知識科学研究科, 助教 (30388011)
|
|---|
| 研究分担者 |
清野 貴博 独立行政法人産業技術総合研究所, 情報技術研究部門, 特別研究員 (10397226)
竹内 泉 独立行政法人産業技術総合研究所, 情報技術研究部門, 特別研究員 (20264583)
和泉 憲明 独立行政法人産業技術総合研究所, 社会知能技術研究ラボ, 主任研究員 (50293593)
高橋 孝一 独立行政法人産業技術総合研究所, システム検証研究センター, 産業技術企画調査員 (40357372)
|
|---|
| 研究期間 (年度) |
2008 – 2010
|
| 研究課題ステータス |
完了 (2010年度)
|
| 配分額 *注記 |
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2010年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2009年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2008年度: 2,080千円 (直接経費: 1,600千円、間接経費: 480千円)
|
|---|
| キーワード | 情報システム / 仕様書 / 業務フロー図 / データモデル図 / 画面遷移図 / UML / web / オントロジー / 形式的手法 / 要件分析 / 検証 / 医療オントロジー / 形式手法 / 医療サービス / ビジネスプロセス / 医療情報システム / サービスプロセス |
|---|
| 研究概要 |
本研究の主な成果は,大規模情報システム開発における要件分析に用いられるワークフロー図を中心とした仕様書の作成・検証手法および支援ツールの研究開発である.特に,複数の設計者が共同して少しずつ作成および整合性の検証を行いながら,ワークフロー図の全体を矛盾なく作成することを可能にする手法であるインクリメンタルなワークフロー図の設計・検証手法の基礎理論を構築した.さらに,医療サービスのオントロジーを用いて,要件分析に必要な異なる種類の仕様書を互いに関連付けながら設計するためのフレームワークの研究開発を行った.
|
