DocumentCode :
2926031
Title :
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 ATOM3 is used. An example illustrates our approach.
Keywords :
Petri nets; Unified Modeling Language; graph grammars; ATOM3; 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; AToM3; 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
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2926031
بازگشت