It is the cache of ${baseHref}. It is a snapshot of the page. The current page could have changed in the meantime.
Tip: To quickly find your search term on this page, press Ctrl+F or ⌘-F (Mac) and use the find bar.

On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models | Kerkouche | Journal of Software
Journal of Software, Vol 5, No 11 (2010), 1279-1291, Nov 2010
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 Kerkouche, Allaoua Chaoui, El Bay Bourennane, Ouassila Labbani

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 ATOM 3 is used. The approach is illustrated through an example.


Keywords


"UML; CPN; INA Analyzer; Meta-Modeling; Graph Grammars; Graph Transformation; Models Transformation; AToM3"

References



Full Text: PDF


Journal of Software (JSW, ISSN 1796-217X)

Copyright @ 2006-2014 by ACADEMY PUBLISHER – All rights reserved.