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.