A Method of Inconsistency Detecting of Models Based on UML Class Diagram
Jian Chen · Computer Technology and Development · 2008
The class diagram of UML uses a visual manner to describe the static character of systems effectively.It provides software engineers a tool to find the inconsistency and redundancy of models.But a complex software system contains a great many of elements.It is hard to find the problems of models.So tools of modeling should have an automatic inconsistency detecting function.SHOIQ(D)is a decidable subset of description logic.It has a strong ability of knowledge description.Thereby,by extracting the semantic of components of UML class diagram,this paper uses description logic SHOIQ(D)to describe components of UML class diagram,and realizes the formalization of models.The transformed models can be automatically detected the inconsistency by the automated reasoning systems.