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

Author

Bahri, Mouhamed Redha ; Hettab, Abdelkamel ; Chaoui, Allaoua ; Kerkouche, Elhillali

Author_Institution

Dept. of Comput. Sci., Univ. Mentouri, Constantine, Algeria

fYear

2009

fDate

4-5 Dec. 2009

Firstpage

33

Lastpage

39

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

Keywords

Unified Modeling Language; finite state machines; graph grammars; graph theory; mobile computing; object-oriented programming; graph grammars; graph transformation; meta modeling tool; mobile UML statecharts models; mobile agent based software systems; nested nets models; object oriented software systems; unified modelling language; Automata; Collaboration; Computer science; Mathematical model; Metamodeling; Mobile computing; Object oriented modeling; Petri nets; Software systems; Unified modeling language; Graph Transformation; Mobile UML; Mobile agent systems; Nest nets;

fLanguage

English

Publisher

ieee

Conference_Titel

Formal Methods (SEEFM), 2009 Fourth South-East European Workshop on

Conference_Location

Thessalonihi

Print_ISBN

978-1-4244-5617-8

Electronic_ISBN

978-1-4244-5618-5

Type

conf

DOI

10.1109/SEEFM.2009.21

Filename

5465138