Semantic Research Of UML State Chart Based On Temporal Description Logics

Unified Modeling Language UML is a visual modeling language, simple, intuitive, and is easy to exchange and communicate among staff. However, UML is lack of dynamic and temporal semantics defined strictly, so it is difficult to do formal analysis and verification on the systems described by it.Description Logics (DLs) has a strong expression and decidable reasoning ability, but the basic DLs can only express static knowledge, unable to express the dynamic and temporal knowledge.Temporal logic contains a large number of temporal operators,which can express the temporal and dynamic knowledge, but its reasoning ability is not very strong. Behavior model is an important model of UML, which involved in all steps,and play an important role.In this paper, the temporal operators are applied to extend the basic description logics to get the TDLs, and then formalize the UML state diagram with it. Some researches were carried out in this paper as foolows:1.The comparison of UML and DLs.The similarities and differences between UML and DLs are compared in this chapter, including:static, dynamic, sharing, scalability, modeling methods, inheritance, encapsulation, relations of classes,level of class and attribute,and the reasoning features.2.The temporal extensions of DLs.The basic DLs can't d describe dynamic and temporal knowledge, so temporal operators are used to extend the DLs to get the Temporal Descriotion Logics (TDLs),which can express dynamic and temporal knowledge/Syntax,semantics,definitions and axioms are also given.3.The formalization of UML state diagram.State diagram is one of the most important behavior diagrams of UML. Through the analysis for state diagram,we can map UML statechart diagram to the TDLs expressions,and the mapping rules are given. Lastly, an example is illustrated to express the mapping process, and the feasibility and accuracy are also checked.