The Semantics Research of UML2.0 Sequence Diagram Based on Temporal Description Logic

UML sequence diagrams have been widely applied in modeling the interactive behavior among objects. However, the lack of formal semantics makes it difficult to analyze and validate the described system. To solve these problems, a novel formalization method of UML2.0 sequence diagram based on the temporal description logics(TDLs) is proposed in this paper. TDLs is a dynamic and temporal extension of description logics(TDs) which can represent both static and dynamic domain knowledge. This method presents a precise description of UML2.0 sequence diagram. Finally, the example is given to verify the feasibility of this method.