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

被引：0

作者：

Pasqua, Roberto ^{[1
]}

Foures, Damien ^{[1
]}

Albert, Vincent ^{[1
]}

Nketsa, Alexandre ^{[1
]}

机构：

[1] CNRS, LAAS, F-31400 Toulouse, France

来源：

EUROPEAN SIMULATION AND MODELLING CONFERENCE 2012 | 2012年

关键词：

MDA; meta-modeling; Sequence Diagrams; Finite and Deterministic DEVS; discrete event simulation;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This work transforms sequence diagrams to Finite and Deterministic DEVS (FD-DEVS) in Model-Driven Engineering 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 simulation. 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.

引用

页码：37 / 43

页数：7

共 11 条

[1] A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets
Ameedeen, Mohamed Ariff
Bordbar, Behzad
[J]. EDOC 2008: 12TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING, PROCEEDINGS, 2008, : 213 - 221
[2] *ATL GROUP L, 2006, ATL ATLAS TRANSF LAN
[3] Dan L, 2010, IEEE INT C ENG COMP, P349, DOI [10.1109/ICECCS.2010.47, 10.1109/ICECCS.2010.55]
[4] *DEVS SUITESIM, 2010, PROJ INF
[5] FOURES D, 2012, SPRING SIM MULT SPRI
[6] From UML 2 Sequence Diagrams to State Machines by Graph Transformation
Gronmo, Roy
Moller-Pedersen, Birger
[J]. JOURNAL OF OBJECT TECHNOLOGY, 2011, 10
[7] Reachability Graph of Finite and Deterministic DEVS Networks
Hwang, Moon Ho
Zeigler, Bernard P.
[J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2009, 6 (03) : 468 - 478
[8] The many meanings of UML 2 Sequence Diagrams: a survey
Micskei, Zoltan
Waeselynck, Helene
[J]. SOFTWARE AND SYSTEMS MODELING, 2011, 10 (04) : 489 - 514
[9] *OMG, 2011, TECH REP OMG DOCUMEN
[10] Ouardani A, 2006, MODELLING AND SIMULATION 2006, P345

← 1 2 →