DocumentCode
3280796
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
Volume
1
fYear
2007
fDate
24-27 July 2007
Firstpage
211
Lastpage
214
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International
Conference_Location
Beijing
ISSN
0730-3157
Print_ISBN
0-7695-2870-8
Type
conf
DOI
10.1109/COMPSAC.2007.28
Filename
4291006
Link To Document