Semantic Checking Of UML Model Based On Ontology Reasoning

Unified Modeling Language(UML) has been de-facto industrial standard in the field of object-oriented software engineering.Software models described by UML are concise and clear,which is easy to communicate with each other among modelers. However,this kind if graphical language is ill grounded in formalization,which may lead to inconsistency or other semantic issues.At the present time,there is a great deal of research on UML accuracy and UML model inconsistency management,but these studies only gave some methods of individual graphics from the part and and can not solve the problem fundamentally.Based on the precision characteristic and reasoning functions of ontology,we use ontology as the semantic foundation of checking the inconsistency of UML models, and transform UML models into ontology models according to the similarity between them,so as to check the semantic inconsistency of UML models.To this end,some research was carried out in this paper as foolows:1.Comparing UML model with ontology in detail.Similarities and differences between them are compared from the following standpoints,such as static state, dynamic state,sharing,extendibility,modeling methodology,inheritance, encapsulation,relationships between classes,hierarchy of class and properties and reasoning.Moreover,their respective modeling languages are compared in detail so as to lay the foundation for the conversion between models.2.Establishing transformation rules between models.On the basis of the above comparation,transformation rules are given in the light of similarities between them. After that,an instance,the part of university staff UML model,is given in order to verify the feasibility of the above method comprehensively,including model transformation and reasoning.3.Proposing dynamic extension of description logic.The existent description logic ALCQI only represents the static characteristics of UML,and can not express the the dynamic and temporal characteristics of UML.To the question of inadequacies of ALCQI,extending constructors of description logic is presented in this paper in order to formalize the dynamic characteristic of UML behaviour diagram,and initially investigate some basic properties of tableau algorithm,such as termination,soundness,completeness.