Terminology Matching of Requirements Specification Documents and Regulations for Consistency Checking

• DOI
• Slides

Abstract

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 cooccurrence 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.

BibTeX

@inproceedings{nakamura-relaw2015,
    author = {Ryotaro Nakamura and Yu Negishi and Shinpei Hayashi and Motoshi Saeki},
    title = {Terminology Matching of Requirements Specification Documents and Regulations for Consistency Checking},
    booktitle = {Proceedings of the 8th International Workshop on Requirements Engineering and Law},
    pages = {10--18},
    doi = {10.1109/RELAW.2015.7330206},
    year = 2015,
}