An approach of Inconsistency Verification of Use Case in XML and the Model of Verification Tool
In order to solve the problems of verifying the inconsistency of the requirement specification in the natural language, and automatically transforming the requirement specification in natural language description to formal models, this paper proposes a modeling method of use case specification in XML and a method of verifying inconsistency in the specification. Furthermore, we design a corresponding model of auxiliary tool in our framework. The requirement analysts can use the tool to transform requirement document in the natural language into the formal specification automatically. The formal specification can be used for further automatic requirement verification.
use case inconsistency verification formal methods XML
Ning Jin Jing Yang
College of Computer Science & Information Guizhou University Guiyang, China
国际会议
南京
英文
757-761
2010-11-01（万方平台首次上网日期，不代表论文的发表时间）