セマンティック要求工学の研究

2013 年度 研究成果報告書

• 研究課題/領域番号: 23500036
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 東京工業大学
• 研究代表者: 佐伯 元司 東京工業大学, 情報理工学(系)研究科, 教授 (80162254)
• 研究協力者: 海谷 治彦 信州大学, 工学部, 准教授 (30262596) ; 林 晋平 東京工業大学, 大学院・情報理工学研究科, 助教 (40541975)
• 研究期間 (年度): 2011 – 2013
• キーワード: 要求工学 / オントロジ

研究概要

本研究では，要求分析プロセスにおいて，要求の意味をオントロジへのマッピングによって与え，プロセス全体を通して要求の意味処理までを扱う自動化技術の基盤を開発することにより，高品質な要求仕様書を効率的に作り管理する技術の開発を行った．オントロジ表現を格フレームで表し，要求文から格フレームとフレーム間の関係へ変換するツール，格フレーム表現から状態遷移モデルを導出し，モデル検査器を使って各種の性質を検証するツール，あいまい性などの要求記述の品質評価を行うツール，オントロジでタグ付けされたシナリオ記述から脅威の存在を推論するツールなどを開発し，その評価を行った．

研究成果

• [雑誌論文] 属性つきゴールグラフにおけるゴールの品質特性 (2014)
  • 著者名/発表者名: 鵜飼孝典, 林 晋平, 佐伯元司
  • 雑誌名: 情報処理学会論文誌 巻: Vol.55, No.2 ページ: 893-908
  • URL: http://id.nii.ac.jp/1001/00098488/
  • 査読あり
• [雑誌論文] Modeling Security Threat Patterns to Derive Negative Scenarios (2013)
  • 著者名/発表者名: Tatsuya Abe, Shinpei Hayashi, Motoshi Saeki
  • 雑誌名: Proceedings of the 20th Asia-Pacific Software Engineering Conference (APSEC 2013) ページ: 58-66
  • DOI: 10.1109/APSEC.2013.19
  • 査読あり
• [雑誌論文] Enhancing Goal-Oriented Security Requirements Analysis Using Common Criteria-Based Knowledge (2013)
  • 著者名/発表者名: Motoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya
  • 雑誌名: International Journal of Software Engineering and Knowledge Engineering 巻: vol.23, no.5 ページ: 495-509
  • DOI: 10.1142/S0218194013500174
  • 査読あり
• [雑誌論文] Model Transformation Patterns for Introducing Suitable Information Systems (2012)
  • 著者名/発表者名: Haruhiko Kaiya, Shunsuke Morita, Shinpei Ogata, Kenji Kaijiri, Shinpei Hayashi, Motoshi Saeki
  • 雑誌名: Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012) ページ: 434-439
  • DOI: 10.1109/APSEC.2012.52
  • 査読あり
• [雑誌論文] Facilitating Business Improvement by Information Systems using Model Transformation and Metrics (2012)
  • 著者名/発表者名: Haruhiko Kaiya, Shunsuke Morita, Kenji Kaijiri, Shinpei Hayashi, Motoshi Saeki
  • 雑誌名: Proceedings of the CAiSE'12 Forum at the 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012) ページ: 106-113
  • URL: http://ceur-ws.org/Vol-855/paper13.pdf
  • 査読あり
• [雑誌論文] 要求獲得におけるステークホルダの偏りと不足を検出する可視化ツール (2012)
  • 著者名/発表者名: 鵜飼孝典, 林 晋平, 佐伯元司
  • 雑誌名: 情報処理学会論文誌 巻: Vol.53, No.4 ページ: 1448-1460
  • URL: http://id.nii.ac.jp/1001/00081787/
  • 査読あり
• [雑誌論文] Impact Analysis on an Attributed Goal Graph (2012)
  • 著者名/発表者名: Shinpei Hayashi, Daisuke Tanabe, Haruhiko, Kaiya, Motoshi Saeki
  • 雑誌名: IEICE Transactions on Information and Systems (電子情報通信学会英文論文誌) 巻: E95-D, No.4 ページ: 1012-1020
  • URL: http://search.ieice.org/bin/summary.php?id=e95-d_4_1012
  • 査読あり
• [雑誌論文] 要求獲得のためのオントロジをWeb マイニングにより拡充する手法の提案と評価 (2012)
  • 著者名/発表者名: 海谷治彦, 清水悠太郎, 安井浩貴, 海尻賢二, 林 晋平, 佐伯元司
  • 雑誌名: 情報処理学会論文誌 巻: Vol.53, No.2 ページ: 495-509
  • URL: http://id.nii.ac.jp/1001/00080661/
  • 査読あり
• [学会発表] ユースケース記述の検査のための自然言語要求文の解析 (2014)
  • 著者名/発表者名: 中村 遼太郎, 林 晋平, 佐伯 元司
  • 学会等名: 電子情報通信学会技術研究報告
  • URL: http://www.ieice.org/ken/paper/201403115BMc/
  • 発表場所: 那覇
  • 年月日: 20140311-12
• [学会発表] Problem Frame + ゴール指向 (2014)
  • 著者名/発表者名: 佐伯元司
  • 学会等名: 情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
  • 発表場所: 対馬
  • 年月日: 20140130-0201
• [学会発表] 要求獲得の「見える」化 (2013)
  • 著者名/発表者名: 佐伯元司
  • 学会等名: 情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
  • 発表場所: 紀伊勝浦
  • 年月日: 20131024-26
• [学会発表] 要求の多次元的な意味づけ (2013)
  • 著者名/発表者名: 佐伯元司
  • 学会等名: 情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
  • 発表場所: 高山
  • 年月日: 20130523-25
• [学会発表] シーケンス図のパターンに基づくセキュリティ脅威の検出法 (2013)
  • 著者名/発表者名: 阿部 達也, 林 晋平, 佐伯 元司
  • 学会等名: 電子情報通信学会技術研究報告
  • URL: http://www.ieice.org/ken/paper/20130509QB3l
  • 発表場所: 香川大学
  • 年月日: 20130509-10
• [学会発表] 要求構造明確化のためのゴールグラフの多次元拡張 (2013)
  • 著者名/発表者名: 井上 渉, 林 晋平, 鵜飼 孝典, 佐伯 元司
  • 学会等名: 電子情報通信学会技術研究報告
  • URL: http://www.ieice.org/ken/paper/201303148BcS/
  • 発表場所: 芝浦工業大学, 東京
  • 年月日: 20130314-15
• [学会発表] 構文と文章構造に基づく要求仕様書の問題点発見支援 (2013)
  • 著者名/発表者名: 有賀 顕, 林 晋平, 佐伯 元司
  • 学会等名: 情報処理学会ソフトウェア工学研究会
  • 発表場所: 化学会館, 東京
  • 年月日: 20130311-12
• [学会発表] AGORA ゴール指向分析法支援ツール (2012)
  • 著者名/発表者名: 佐伯元司
  • 学会等名: 情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
  • 発表場所: 広島
  • 年月日: 20121004-06
• [学会発表] ゴール指向分析法とミスユースケース法の融合 (2012)
  • 著者名/発表者名: 佐伯元司
  • 学会等名: 情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
  • 発表場所: 宮城県松島町
  • 年月日: 20120517-19
• [学会発表] セキュリティ要求獲得法 : ゴール指向+ミスユースケース (2012)
  • 著者名/発表者名: 佐伯元司
  • 学会等名: 情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
  • 発表場所: 北海道江別市 北海道情報大
  • 年月日: 20120119-21
• [学会発表] 要求のセマンティックな側面に基づく変更管理 (2011)
  • 著者名/発表者名: 佐伯元司
  • 学会等名: 情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
  • 発表場所: 広島県福山市鞆シーサイドホテル
  • 年月日: 20111027-29
• [学会発表] セマンティック要求工学の概要 (2011)
  • 著者名/発表者名: 佐伯元司
  • 学会等名: 情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
  • 発表場所: 香川県小豆島町小豆島シーサイドホテル松風
  • 年月日: 20110623-25
• [備考]
  • URL: http://www.se.cs.titech.ac.jp/research/agora/