Title :
Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets
Author :
Staines, Tony Spiteri
Author_Institution :
Univ. of Malta, Msida
fDate :
March 31 2008-April 4 2008
Abstract :
This paper describes how UML 2 Activity diagrams can be intuitively translated into Petri net notations. The UML2 specification states that activities are based on Petri net semantics. The transformation of UML 2 Activity diagrams into Petri net semantics have been researched for various reasons. Translating UML activities into Petri nets creates new problems. The Petri net diagrams are (i) more complex (ii) contain more nodes and edges, (iii) unsuitable for visualization by stakeholders. A solution to this problem is to translate the UML activity diagram into a Fundamental Modeling Concepts Petri net diagram compact notation. This can be converted to a colored Petri net (CPN) for execution and validation. A case study taken from a web ordering system activity is used for explaining and illustrating this concept.
Keywords :
Petri nets; Unified Modeling Language; formal specification; Petri net semantics; UML 2 activity diagram; colored Petri net; fundamental modeling concept Petri net diagram; Algebra; Analytical models; Carbon capture and storage; Concurrent computing; Conferences; Information systems; Object oriented modeling; Petri nets; Unified modeling language; Visualization;
Conference_Titel :
Engineering of Computer Based Systems, 2008. ECBS 2008. 15th Annual IEEE International Conference and Workshop on the
Conference_Location :
Belfast
Print_ISBN :
0-7695-3141-5
DOI :
10.1109/ECBS.2008.12