Study on Semantic Requirements Engineering

语义需求工程研究

• 批准号: 23500036
• 负责人: SAEKI Motoshi
• 金额: $ 3.16万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2011
• 资助国家: 日本
• 起止时间: 2011 至 2013
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23500036/
• 关键词: 要求工学; オントロジ; ゴール指向要求分析法; リポジトリ

In this research project, in order to develop and control efficiently requirements documents of high quality, we have proposed the idea of providing the meaning of the requirements by mapping them into ontology and developed a tool infrastructure for their semantic processing based on ontological reasoning. We have also developed the automated tools; transforming requirements sentences to case frame representations as their meaning, deriving a state transition model from the case frame representations and verifying various properties with a model checker, evaluating quality characteristics of requirements documents such as ambiguity, reasoning the potentials of security threats from scenario descriptions annotated with semantic tags based on the ontology, etc. and evaluated them.

在该研究项目中，为了开发和控制高质量的要求文档，我们提出了通过将其映射到本体论中，并根据本体论推理为其语义处理开发一种工具基础架构来提供要求的含义。我们还开发了自动化工具；将需求句子转换为案例框架表示为其含义，从案例框架表示中得出状态过渡模型，并使用模型检查器验证各种属性，评估诸如歧义之类的需求文档的质量特征，从而从基于本体学等语义标签注释的情景描述中的安全威胁潜在的潜在，并对其进行评估。

项目成果

要求の多次元的な意味づけ

需求的多维意义

• 发表时间: 2013
• 作者: Mitsuru Kusumoto;Yuichi Yoshida;and Hiro Ito;Yuichi Asahiro;江藤宏;佐伯元司
• 通讯作者: 佐伯元司

Model Transformation Patterns for Introducing Suitable Information Systems

引入合适信息系统的模型转换模式

• DOI: 10.1109/apsec.2012.52
• 发表时间: 2012
• 期刊: Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012)
• 作者: Haruhiko Kaiya;Shunsuke Morita;Shinpei Ogata;Kenji Kaijiri;Shinpei Hayashi;Motoshi Saeki
• 通讯作者: Motoshi Saeki

Enhancing Goal-Oriented Security Requirements Analysis using Common Criteria-Based Knowledge

• DOI: 10.1142/s0218194013500174
• 发表时间: 2013-09
• 期刊: Int. J. Softw. Eng. Knowl. Eng.
• 作者: M. Saeki;Shinpei Hayashi;H. Kaiya

Modeling Security Threat Patterns to Derive Negative Scenarios

对安全威胁模式进行建模以得出负面场景

• DOI: 10.1109/apsec.2013.19
• 发表时间: 2013
• 期刊: Proceedings of the 20th Asia-Pacific Software Engineering Conference (APSEC 2013)
• 作者: Tatsuya Abe;Shinpei Hayashi;Motoshi Saeki
• 通讯作者: Motoshi Saeki

属性つきゴールグラフにおけるゴールの品質特性

归因目标图中目标的质量特征

• 发表时间: 2014
• 期刊: 情報処理学会論文誌
• 作者: 鵜飼孝典;林 晋平;佐伯元司
• 通讯作者: 佐伯元司