Title: A graph transformation approach of mobile activity diagram to nested Petri nets

Authors: Fayçal Guerrouf; Allaoua Chaoui; Ali Aldahoud

Addresses: Faculty of Science, Department of Computer Science, University of Batna, Batna, 05000, Algeria. ' MISC Laboratory, University Mentouri Constantine, Route Ain Elbey, Constantine, 25000, Algeria. ' Al-Zaytoonah University of Jordan, P.O. Box 130, Amman 11733, Jordan

Abstract: 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³ 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.

Keywords: unified modelling language; UML; mobile activity diagrams; nested Petri nets; metamodelling; graph grammars; graph transformation; auctioning systems.

DOI: 10.1504/IJCAET.2013.050549

International Journal of Computer Aided Engineering and Technology, 2013 Vol.5 No.1, pp.44 - 57

Published online: 30 Jan 2014 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article