A graph transformation approach of mobile activity diagram to nested Petri nets
Fayçal Guerrouf, Allaoua Chaoui, Ali A. Al-Dahoud · International Journal of Computer Aided Engineering and Technology · 2012
UML is considered as the standard language for modelling object oriented software systems. Mobile activity diagram is an extension of the standard UML activity diagram that deals with the requirements to model, specify, and visualise mobile agent-based systems. However, it inherits its lack of formal notation for analysis and verification purposes. In this paper we propose an approach for transforming mobile activity diagrams to nested Petri nets models. The meta-modelling tool AToM3 is used to create meta-models for mobile activity diagram and nested Petri net. A graph grammar is proposed for automatic transformation. An auctioning system example illustrates our proposed approach.