A graph transformation approach of mobile activity diagram to nested Petri nets. (1st January 2013)

• Record Type: Journal Article
• Authors: Guerrouf, Fayçal; Chaoui, Allaoua; Aldahoud, Ali
• Is Part Of: International journal of computer aided engineering and technology. Volume 5:Number 1(2013)
• Page Start: 44
• Page End: 57
• Publication Date: 2013-01-01
• Subjects: unified modelling language -- UML -- mobile activity diagram -- nested Petri net -- meta-modelling -- graph grammars -- graph transformations -- a tool for multi-formalism and meta-modelling -- AToM3; Computer-aided engineering -- Periodicals; 620.00285
• Languages: English
• ISSNs: 1757-2657

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 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.