Study on Semantic Requirements Engineering

在本研究项目中，为了高效地开发和控制高质量的需求文档，我们提出了通过将需求映射到本体来提供需求含义的思想，并开发了一个基于本体推理的需求语义处理工具基础设施。我们还开发了自动化工具，将需求语句转换为用例框架表示，从用例框架表示导出状态转换模型，并使用模型检查器验证各种属性，评估需求文档的质量特征，如歧义，从基于本体的语义标签标注的场景描述推理潜在的安全威胁等，并对其进行评估。

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.