Ontology And Logical Representation Based Requirements Inconsistency Verification And Treatment Method And Its Supporting Tool

With the rapid development of computer hardware, the scope of application of computersoftware continues to increase, the scale of software project is also growing,"Software Crisis"broke out, and the concept of "Software Engineering" was raised. And with the continuousdevelopment of Software Engineering, the importance of the first phase of the software lifecycle,"Requirements Analysis", is increasingly being recognized, then "RequirementsEngineering" as a sub-field of Software Engineering is presented separately.In practice, the domain knowledge of various industries requirements involved are oftendifferent, which requires requirements analysts and experts in related fields to determinetogether, how to accurately and effectively give the definition of requirements faces enormouschallenges. At the same time, the inherent uncertainty of requirements also increases the costof requirements definition and management, and therefore an effective requirementsdescription method and the corresponding requirements verification strategy is critical to thesuccess of software projects.Thus this paper puts forward an ontology and logical dual representation basedrequirements description method, the corresponding requirements inconsistency verificationand treatment method, and finally the design and implementation of the correspondingsupporting tool, and apply it to an elevator control system example, explains the effectivenessof this method and practicality of this supporting tool. The main work is as follows.Proposes to use ontology to describe the entity hierarchy relation and individual propertyrelated static knowledge in the field for the capability of knowledge representation andsharing of it, which makes it easier to reach a basic consensus on requirements between theanalyst and user quickly, therefore to develop the prototype quickly. Proposes to use logic todescribe the state and condition related dynamic knowledge in the field for the capability ofstate change and trigger condition representation of it, which makes it easier to expand thecapability of the description method in this paper on the basis of ontology. They complementeach other and complete the description of requirements together.Proposes the corresponding requirements inconsistency verification and treatmentmethod, divides the requirements logic into equivalence classes by its priority, and calculatesthe interpretation set of each requirement and requirements equivalence class, gives priority tohigh-priority equivalence class as a criterion to identify the requirement that leadsinconsistency in low-priority equivalence class. Sums up three inconsistent cases against theexecution scene of the inconsistency verification algorithm, and gives the corresponding treatment method of each situation according to its characteristics.Designs and implements the corresponding supporting tool on this basis. Using Protégéontology editor can export the edited ontology to OWL document, and operates the OWLdocument by program with Jena ontology API to complete the inconsistency verification ofontology requirements. The logical tool in this paper achieves to save the originalrequirements texts, requirements labels, requirements logic equivalence classes and otherinformation of the requirements project, which makes the modification and transplant of therequirements project easier. Implements the inconsistency verification algorithm in this paper,by the analysis and calculation of the three priority equivalence classes of requirements logicthat input by user, the test results can illustrate the case of inconsistency and thecorresponding treatment options for the analyst to refer to.Finally, applies the supporting tool in this paper to an elevator control system instance,by manual calculation, test results of the supporting tool are validated, which shows theeffectiveness of this method and practicality of supporting tool.