Generating Software Requirements Consistency Checking Patterns: An Environment Ontology-driven Approach

摘要

Management of requirements inconsistency is key to the development of complex software system, and consistency checking rules are center to the management of software requirements inconsistency. But at present, although there are a lot of work on consistency checking rules generation, most of them are limited in generating these rules manually, we still lacks of a promising method for generating consistency checking rules automatically. Based on an abstract requirements refinement process model, this paper takes environment ontology as infrastructure for generating consistency checking patterns. As we use state transition system for describing environment ontology, so we use the classification of properties of state transition system to divide consistency checking patterns into three category, which include safety pattern, liveness pattern and domain patterns.