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

Author

ZHANG, Qi-wen ; Tong, Ge-ming ; Nian, Fu-zhong ; Li, Ming

Author_Institution

Sch. of Comput. & Commun., Lanzhou Univ. of Technol., Lanzhou, China

fYear

2010

fDate

25-26 Dec. 2010

Firstpage

1

Lastpage

4

Abstract

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.

Keywords

Unified Modeling Language; temporal logic; UML2.0 sequence diagram; dynamic domain knowledge; formal semantics; interactive behavior; semantics research; static domain knowledge; temporal description logics; Availability; Cognition; Optimized production technology; Semantics; Software systems; Syntactics; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Engineering and Computer Science (ICIECS), 2010 2nd International Conference on

Conference_Location

Wuhan

ISSN

2156-7379

Print_ISBN

978-1-4244-7939-9

Electronic_ISBN

2156-7379

Type

conf

DOI

10.1109/ICIECS.2010.5677888

Filename

5677888