Terminology Matching of Requirements Specification Documents and Regulations for Consistency Checking
Terminology Matching of Requirements Specification Documents and Regulations for Consistency Checking
复制标题
需求规范文件的术语匹配和一致性检查的规定
DOI：
10.1109/relaw.2015.7330206
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Motoshi Saeki
中科院分区：
文献类型：
--
作者：
Ryotaro Nakamura;Yu Negishi;Shinpei Hayashi;Motoshi Saeki
为了通过使用模型检查技术检查需求规格说明文档和法规之间的一致性，需求分析人员向模型检查器生成输入，即，来自文档的状态转换机和来自监管声明的逻辑公式被验证为属性。在这些生成过程中，为了使逻辑公式在语义上与状态转换机相对应，分析人员应该进行术语匹配，他们在需求文档中寻找与法规声明中的单词具有相同含义的单词，并统一语义相同的单词。在本文中，通过使用情况语法的方法，我们提出了一个自动化的技术，原因的意义，在需求规格说明书的情况下，通过对词的同现约束的情况下，框架的手段，并产生从监管语句的逻辑公式，其中的话是统一的需求文档的话。我们对我们的建议进行了可行性研究，并进行了两个案例研究。
To check the consistency between requirements specification documents and regulations by using a model checking technique, requirements analysts generate inputs to the model checker, i.e., state transition machines from the documents and logical formulas from the regulatory statements to be verified as properties. During these generation processes, to make the logical formulas semantically correspond to the state transition machine, analysts should take terminology matching where they look for the words in the requirements document having the same meaning as the words in the regulatory statements and unify the semantically same words. In this paper, by using case grammar approach, we propose an automated technique to reason the meaning of words in requirements specification documents by means of co-occurrence constraints on words in case frames, and to generate from regulatory statements the logical formulas where the words are unified to the words of the requirements documents. We have a feasibility study of our proposal with two case studies.