Building Dynamic Model in UML Using Colored Petri Nets

Author

Zhang Hong-Xia ; Zhu Lian-zhang

Author_Institution

Coll. of Comput. & Commun. Eng., China Univ. of Pet., Dongying, China

fYear

2009

fDate

18-20 Jan. 2009

Firstpage

1

Lastpage

4

Abstract

UML Sequence Diagram (SD) is used to modeling the dynamic behaviors of system, but it lacks simulation and verifiability capabilities because of its semi-formal nature. This paper proposes a UML-CPN transformation method to building dynamic model in UML using CPN. This work aims to develop efficient transformation methods, and then uses CPN models to simulate, verify and evaluate the systems. This work is part of an on-going effort to auto-execute the behavioral analysis of concurrent and real-time object-oriented software designs.

Keywords

Petri nets; Unified Modeling Language; object-oriented programming; program verification; system monitoring; systems analysis; UML sequence diagram; behavioral analysis; building dynamic model; colored Petri nets; concurrent object-oriented software designs; real-time object-oriented software designs; verifiability capabilities; Buildings; Computational modeling; Computer simulation; Educational institutions; Mathematical model; Object oriented modeling; Petri nets; Petroleum; Software design; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Network and Multimedia Technology, 2009. CNMT 2009. International Symposium on

Conference_Location

Wuhan

Print_ISBN

978-1-4244-5272-9

Type

conf

DOI

10.1109/CNMT.2009.5374505

Filename

5374505