Title :
A Method of Requirement Inconsistency Analysis
Author :
Yikun, Zhang ; Peng, Yin ; Duwu, Cui ; Hui, Xia
Author_Institution :
Xi´´an Univ. of Technol., Xi´´an
Abstract :
A new requirement inconsistency analysis method is presented to solve the problem of inconsistent requirement description in the process of requirement analysis. In the method, the requirement model is of two sets: state set and event set, and is described as reduced state machine to maintain global context information. A unified requirement model is reached by using ternary logic operator to resolve the inconsistency in the inconsistent models. In addition, a tool named SRIA implemented based on the method is introduced.
Keywords :
finite state machines; formal specification; formal verification; ternary logic; reduced state machine; requirement description; requirement inconsistency analysis; ternary logic operator; Application software; Automatic logic units; Computer applications; Context modeling; Globalization; Multivalued logic; Operating systems; Programming;
Conference_Titel :
Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International
Conference_Location :
Beijing
Print_ISBN :
0-7695-2870-8
DOI :
10.1109/COMPSAC.2007.28
