FROM SEQUENCE DIAGRAMS UML 2.x TO FD-DEVS BY MODEL TRANSFORMATION

Roberto Pasqua (1) , Damien Foures (1) , Vincent Albert (2) , Alexandre Nketsa (1)

1 LAAS - Laboratoire d'analyse et d'architecture des systèmes
2 LAAS-ISI - Équipe Ingénierie Système et Intégration

This work transforms sequence diagrams to Finite and Deterministic DEVS (FD-DEVS) in Model-Driven En- gineering field. The main goal is the formalisation of behaviours, described with UML sequence diagram, to make verification activity by space state exploration and to make validation activity of a set of traces by simu- lation. In this context, we have chosen to elaborate a model transformation. This paper shows how, after the construction of meta-model for sequence diagrams and for Finite and Deterministic DEVS, it is possible to automate the transformation from one instance of source meta-model to one instance of destination meta-model. The source model is a sequence diagram and the target model is a FD-DEVS component. The destination model is converted into DEVSJava code to simulate its execution.

Mots clés: Transformation; ATL; meta-model; model transformation; Petri net; Réseau de Petri; Devs; FD-DEVS; Sequence Diagram; Diagramme de Sequence

Domaines: Modélisation et simulation

Roberto Pasqua, Damien Foures, Vincent Albert, Alexandre Nketsa. FROM SEQUENCE DIAGRAMS UML 2.x TO FD-DEVS BY MODEL TRANSFORMATION. European Simulation and Modelling Conference, Oct 2012, Essen, Germany. pp.37-43 N° 12481. ⟨hal-00781084⟩