Volume 5 Number 11 (Nov. 2010)
Home > Archive > 2010 > Volume 5 Number 11 (Nov. 2010) >
JSW 2010 Vol.5(11): 1279-1291 ISSN: 1796-217X
doi: 10.4304/jsw.5.11.1279-1291

On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models

Elhillali Kerkouche1, Allaoua Chaoui2, El Bay Bourennane3, Ouassila Labbani3
1Department of Computer Science, University of Oum El Bouaghi, Algeria
2MISC Laboratory, Department of Computer Science, University of Constantine, Algeria
3University of Bourgogne, LE2I Laboratoire, Dijon, France

Abstract—The use of the UML specification language for modelling dynamic behaviors of systems is very widespread. UML Statecharts and Collaboration diagrams are widely used to model dynamic behaviors of systems. However, the lack of firm semantics for the UML modeling notations makes the detection of behavioral inconsistencies difficult in the initial phases of development. The use of formal methods makes such error detection possible but the learning cost is high. Integrating UML with a suitable formal notation is a promising approach that makes UML more precise and amenable to rigorous analysis. In this paper, we present the benefits of a similar approach that is the integration of UML Statechart and Collaboration diagrams and Colored Petri Nets models. The result is an automated approach and a tool environment that formally transforms dynamic behaviors of systems expressed using UML models into their equivalent Colored Petri Nets models for analysis purposes. To make the analysis easier, the obtained models are used to generate automatically their equivalent description in the input language of the INA Petri net analyzer. The approach is based on Graph Transformation and the Meta-Modeling tool ATOM3 is used. The approach is illustrated through an example.

Index Terms—UML; CPN; INA Analyzer; Meta-Modeling; Graph Grammars; Graph Transformation; Models Transformation; AToM3.


Cite: Elhillali Kerkouche, Allaoua Chaoui, El Bay Bourennane, Ouassila Labbani, "On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models," Journal of Software vol. 5, no. 11, pp. 1279-1291, 2010.

General Information

ISSN: 1796-217X (Online)
Frequency:  Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, Google Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Apr 26, 2021 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Jun 22, 2020 News!

    Papers published in JSW Vol 14, No 1- Vol 15 No 4 have been indexed by DBLP     [Click]

  • Sep 13, 2021 News!

    The papers published in Vol 16, No 6 have all received dois from Crossref    [Click]

  • Jan 28, 2021 News!

    [CFP] 2021 the annual meeting of JSW Editorial Board, ICCSM 2021, will be held in Rome, Italy, July 21-23, 2021   [Click]

  • Sep 13, 2021 News!

    Vol 16, No 6 has been published with online version     [Click]