A triple graph grammar (TGG) approach for mapping UML 2 activities into Petri nets

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

Citing 8
Cited 1

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
Analysing UML 2.0 activity diagrams in the software performance engineering process

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
On the integration of UML and petri nets in software development

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-to-Model mapping offers several advantages over relational mapping. In model-to-model mapping an active correspondence is kept between two pairs of models. This is facilitated if visual models are used. UML 2 activities are based on Petri net like semantics and substantial literature exists explaining the conversion process. This paper explains how UML 2 activities can be formally mapped into Petri nets or Petri net semantics from a theoretical and practical and operational point of view adding on previous work of Triple Graph Grammars (TGGs). UML activity constructs have been classified and identified for creating a basic set of TGG rules. The concepts presented can easily be developed further and even extended to other visual models or notations.