A Graph Transformation Approach for Modeling UML Diagrams

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.