研究課題
本年度は実施最終年度であり，前年度までの成果を統合し，以下のような成果をあげた．１．格フレームを意味表現とする処理技術の研究：前年度に開発した，入力された仕様文の格フレーム表現を生成するツールの適用，応用実験を行った．シナリオ記述としてのユースケース記述を取り上げ，記述文からその格フレーム表現を生成し，その間の実行順序関係も合わせて抽出した．これをユースケース記述の意味表現とし，状態遷移モデルを生成し，ある状態への到達可能性などが検証できることを示すことによって評価した．また，セマンティックリポジトリとして，意味表現としての格フレームを蓄積・管理し，類似度計算で記述文にもっとも近い格フレームを検索できる機構も開発した．２．ゴール指向要求分析法と要求の品質評価手法への適用：ゴール記述のセマンティックタグ付けやその意味を抽象化した属性値をもとに，完全性，あいまい性，無矛盾性などの品質を意味レベルまで計算するメトリックスを開発し，品質可視化ツールを開発し，事例評価を行った．その結果，品質の高いゴールグラフや記述を作成する労力の削減が可能となったことを確認できた．３．オントロジによる意味空間を活用した分解の意思決定支援法の開発：前年度に開発したオントロジにより意味平面と意味軸を構成し，意味軸ごとに分解を進める多次元ゴール指向分析法により，ステークホルダの各観点でゴール分解をしていく手法を用い，分解の意味的な不整合を検出し，分解の意思決定を支援する手法へと発展させた．４．ゴール指向要求分析法，シナリオ分析法，プロブレムフレーム法への適用：プロブレムフレームは情報システムが稼動する環境（ドメイン）とシステムを分けてモデル化する手法であり，オントロジによる意味づけ技術を環境記述に適用し，ゴールグラフやシナリオ記述と意味的整合性を保ちながらモデル化する技術を開発した．
すべて 2014 2013
すべて 雑誌論文 (3件) (うち査読あり 3件) 学会発表 (5件)
情報処理学会論文誌
巻: 55 ページ: 893-908
Proceedings of the 20th Asia-Pacific Software Engineering Conference (APSEC 2013)
ページ: 58-66
10.1109/APSEC.2013.19
International Journal of Software Engineering and Knowledge Engineering
巻: vol.23, no.5 ページ: 495-509
10.1142/S0218194013500174
http://www.ieice.org/ken/paper/201403115BMc/
http://www.ieice.org/ken/paper/20130509QB3l
