A Graph Transformation Approach for Modeling UML Diagrams

A Graph Transformation Approach for Modeling UML Diagrams

Hiba Hachichi
Copyright: © 2022 |Pages: 17
DOI: 10.4018/IJSSOE.300782
OnDemand:
(Individual Articles)
Available
$37.50
Current Special Offers
No Current Special Offers
TOTAL SAVINGS: $37.50

Abstract

This article proposes an approach for transforming UML Statecharts, Sequence Diagrams and activity Diagrams to Time Petri Nets with Action Duration (DTPN) using graph transformation. By this transformation the author aims to bridge the gap between semi-formal models generated by UML and formal models DTPN. UML is considered to be the standardized language for modelling and describing systems behaviors for analysis. In other hand, DTPN models are tools for the specification and performance analysis of distributed and concurrent systems. However, the proposed approach allows to generate automatically a visual modeling tool for DTPN. The cost of building a visual modeling tool from scratch is prohibitive. Meta-modeling approach is useful to deal with this problem since it allows the modeling of the formalisms themselves, by means of graph grammars. The meta-modeling tool AToM3 is used.
Article Preview
Top

In the literature, several research works have been conducted about the integration of different UML diagrams and formal methods such as Petri nets (Xinhong, Lining, Weigang, Jinli, & Guo, 2011; Wang & Lu, 2012; Saldhana, Shatz, & Hu, 2001) and Colored Petri nets (CPN) (Kerkouche et al., 2010; Meghzili et al. (2020)).

Complete Article List

Search this Journal:
Reset
Volume 13: 1 Issue (2024): Forthcoming, Available for Pre-Order
Volume 12: 2 Issues (2022): 1 Released, 1 Forthcoming
Volume 11: 2 Issues (2021)
Volume 10: 2 Issues (2020)
Volume 9: 2 Issues (2019)
Volume 8: 4 Issues (2018)
Volume 7: 4 Issues (2017)
Volume 6: 4 Issues (2016)
Volume 5: 4 Issues (2015)
Volume 4: 4 Issues (2014)
Volume 3: 4 Issues (2012)
Volume 2: 4 Issues (2011)
Volume 1: 4 Issues (2010)
View Complete Journal Contents Listing