|
Unified Modeling Language (Unified Modeling Language) UML simple , intuitive , easy to exchange and communication between modelers , applicable to all stages of software development . However , UML lacks precise formal semantics , it is difficult on the system it describes the formal analysis and consistency checking . Description Logic has strong expression and reasoning ability decidable , but the basic description logic can only express the static field of knowledge , and not have knowledge of the dynamic and timing characteristics described . The sequential logic contains a lot of timing operator can describe the static and dynamic field of knowledge , but its reasoning is not very strong . Address the problem , the basic description logic timing extension , then extended description logic , that is described by timing logic TDLs (Temporal Description Logics) Formalization of UML state diagram to improve the semantic description of UML state diagram accurate sex . The main research work includes the similarities and differences of the : 1.UML and description logic . Compare the similarities and differences of the UML and description logic , including : static , dynamic , shared , scalability , inheritance , the relationship between the package, class , class hierarchy and attributes , as well as the reasoning characteristics . Extended description logic timing . Not have knowledge of the dynamic and timing features described for the basic description logic problems , consider the timing operator extension , get the basic description logic timing can represent both the static knowledge , but also to describe the dynamic and timing knowledge description logic , given the extended syntax , semantics , definitions and axioms . Figure formal 3.UML state . State diagram is one of the important behavior diagrams UML state diagram , UML state diagram mapping timing description logic expressions , mapping rules , and an example to illustrate the mapping process , test methods feasible , checking the correctness of the formal expressions .
|