Transforming UML models to colored petri nets models using graph grammars

Author

Kerkouche, Elhillali ; Chaoui, Allaoua ; Khalfaoui, Khaled

Author_Institution

Dept. of Comput. Sci., Univ. of Oum El Bouaghi, Oum El Bouaghi, Algeria

fYear

2009

fDate

5-8 July 2009

Firstpage

230

Lastpage

236

Abstract

In this paper we propose an approach for transforming UML statechart and collaboration diagrams to colored Petri nets models. This transformation aims to bridge the gap between informal notation (UML diagrams) and more formal notation (colored Petri 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

Petri nets; Unified Modeling Language; graph grammars; ATOM³; UML statechart model transformation; Unified Modeling Language; collaboration diagram; colored Petri nets model; formal notation analysis; graph grammar; informal notation analysis; meta-modeling tool; Bridges; Chaos; Collaboration; Computational modeling; Indium phosphide; Mathematical model; Metamodeling; Petri nets; System recovery; Unified modeling language; AToM³; Colored Petri Nets (CPN); Graph Grammars; Meta-modelling; Models Transformation; UML;

fLanguage

English

Publisher

ieee

Conference_Titel

Computers and Communications, 2009. ISCC 2009. IEEE Symposium on

Conference_Location

Sousse

ISSN

1530-1346

Print_ISBN

978-1-4244-4672-8

Electronic_ISBN

1530-1346

Type

conf

DOI

10.1109/ISCC.2009.5202298

Filename

5202298