Transforming Mobile UML Statecharts Models to Nested Nets Models Using Graph Grammars: An Approach for Modeling and Analysis of Mobile Agent-Based Software Systems

Authors:
Mouhamed Redha Bahri;Abdelkamel Hettab;Allaoua Chaoui;Elhillali Kerkouche
Affiliations:
-;-;-;-
Venue:
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Year:
2009

Citing 7
Cited 0

Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
The Unified Modeling Language user guide

The Unified Modeling Language user guide
AToM3: A Tool for Multi-formalism and Meta-modelling

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment

CAiSE ;96 Proceedings of the 8th International Conference on Advances Information System Engineering
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts

ICGT '02 Proceedings of the First International Conference on Graph Transformation
Using Meta-Modelling and Graph Grammars to Process GPSS Models

Proceedings of the 16th European Simulation Multiconference on Modelling and Simulation 2002
A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation

ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 ATOM3 is used. An example illustrates our approach.