Simplified bi-directional transformation of UML activities into Petri nets

Authors:
Anthony Spiteri Staines
Affiliations:
Dept. of Computer Information Systems, University of Malta, Msida, Malta
Venue:
SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems
Year:
2011

Citing 8
Cited 0

A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling

DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering

WOSP '04 Proceedings of the 4th international workshop on Software and performance
Semantics of Control-Flow in UML 2.0 Activities

VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Structured nodes in UML 2.0 activities

Nordic Journal of Computing
Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets

ECBS '08 Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
A formalism for reasoning about UML activity diagrams

Nordic Journal of Computing
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
Mapping UML Activity Diagrams to Analyzable Petri Net Models

QSIC '10 Proceedings of the 2010 10th International Conference on Quality Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-to-Model mapping should offer the advantage of fully operational bi-directional mapping between different models or formalisms that share some common properties. However in reality this is not easily achievable. It is acknowledged that previous work was presented where it was shown how Triple Graph Grammars are useful to achieve the mapping. UML 2 activities share some similarities with Petri nets. In this paper a simple condensed rule based solution for bi-directional mapping or transformation of UML 2 activities into Petri nets is presented. A practical example is used to illustrate the bi-directional transformation possibility and some conclusions are given.