Transforming Mobile UML Statecharts Models to Nested Nets Models Using Graph Grammars: An Approach for Modeling and Analysis of Mobile Agent-Based Software Systems
Mouhamed Redha Bahri, Abdelkamel Hettab, Allaoua Chaoui, Elhillali Kerkouche · 2009
The Unified Modelling Language (UML) is a language for the specification, visualization, and documentation of object-oriented software systems. M-UML is an extension of UML that deals with the mobility requirements needed for modelling mobile agent-based software systems. In this paper we propose an approach for transforming mobile UML Statechart diagrams to Nested nets models for analysis purpose. It produces highly-structured, graphical, and rigorously-analyzable models that facilitates early detection of errors like deadlock, livelock, etc ... The approach is based on graph transformation since the input and output of the transformation process are graphs. The meta-modeling tool ATOM3is used. An example illustrates our approach.