A triple graph grammar mapping of UML 2 activities into petri nets

Abstract

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