A graph transformation approach of mobile activity diagram to nested Petri nets. (1st January 2013) - Guerrouf, Fayçal
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 AToM 3 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.