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.