Semantics of the interaction overview diagram
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
A triple graph grammar (TGG) approach for mapping UML 2 activities into Petri nets
SEPADS'10 Proceedings of the 9th WSEAS international conference on Software engineering, parallel and distributed systems
Transformation of UML activity diagrams into analyzable systems and software blueprints construction
WSEAS Transactions on Information Science and Applications
Simplified bi-directional transformation of UML activities into Petri nets
SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems
From interaction overview diagrams to temporal logic
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Propagating changes between aligned process models
Journal of Systems and Software
Verification of problem-based learning systems using modified petri nets
Expert Systems with Applications: An International Journal
ROME4EU – A service-oriented process-aware information system for mobile devices
Software—Practice & Experience
Object Petri nets marking using UML
International Journal of Computer Applications in Technology
Validation environment of UML2 IOD based on hierarchical coloured Petri nets
International Journal of Computer Applications in Technology
Model-Driven Approaches to Service Composition
International Journal of Adaptive, Resilient and Autonomic Systems
Hi-index | 0.00 |
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.