DocumentCode
3033378
Title
A transformation method from UML statechartto Petri nets
Author
Wang, Mian ; Lu, Lei
Author_Institution
Sch. of Comput. Sci. & Technol., Shandong Univ., Jinan, China
Volume
2
fYear
2012
fDate
25-27 May 2012
Firstpage
89
Lastpage
92
Abstract
Petri nets can be used to build an executable model of software system, to support the simulation of model, to ensure the accuracy and reliability of software system. This paper brings forward the transformation rules from Unified Modeling Language (UML) statechart to colored Petri nets, presents mapping of the statechart and colored Petri nets according to transformation rules, builds an automatic transform platform, implements the automatic conversion from statechart to colored Petri nets and uses Point to Point Protocol (PPP) to verify the feasibility of the transformation method.
Keywords
Petri nets; Point to Point Protocol; automatic transform; statechart;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science and Automation Engineering (CSAE), 2012 IEEE International Conference on
Conference_Location
Zhangjiajie, China
Print_ISBN
978-1-4673-0088-9
Type
conf
DOI
10.1109/CSAE.2012.6272734
Filename
6272734
Link To Document