Title :
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
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;
Conference_Titel :
Computer Network and Multimedia Technology, 2009. CNMT 2009. International Symposium on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-5272-9
DOI :
10.1109/CNMT.2009.5374505
