A survey of Model-Driven approaches applied to DEVS - a comparative study of metamodels and transformations

Model-Driven Engineering (MDE) is a subset of Software Engineering (SE) which focuses on models. MDE provides techniques and guidelines to create models (metamodeling) and to transform them onto other models (including code). Recently, several MDE approaches have been successfully applied to the world of Modeling and Simulation (M&S), of which DEVS (Discrete EVent system Specification) is one of the most popular formalisms. The goal of those approaches is to increase DEVS interoperability. Many of them resort to a metamodel to describe DEVS concepts. The most recent ones also provide automatic code generation “Model-To-Text” (M2T) towards DEVS simulators (DEVS “internal” interoperability) and establish links between DEVS and other formalisms, thanks to Model-To-Model (M2M) transformations (DEVS “external” interoperability). The purpose of this paper is to give a state of the art of the MDE contributions to DEVS formalism and to provide a comparative study of the most recent ones.

[1]  Mara Nikolaidou,et al.  A SysML Profile for Classical DEVS Simulators , 2008, 2008 The Third International Conference on Software Engineering Advances.

[2]  Bernard P. Zeigler,et al.  DEVSML: automating DEVS execution over SOA towards transparent simulators , 2007, SpringSim '07.

[3]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.

[4]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[5]  L. Felipe Perrone.  Guest Editorial on Behalf Of: Society for Modeling and Simulation International (scs) , 2010 .

[6]  Jean François Santucci,et al.  A Meta-Model for DEVS - Designed following Model Driven Engineering Specifications , 2012, SIMULTECH.

[7]  Stephan Schulz,et al.  Discrete event system specification (DEVS) and StateMate StateCharts equivalence for embedded systems modeling , 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).

[8]  Frédéric Jouault,et al.  On the architectural alignment of ATL and QVT , 2006, SAC '06.

[9]  Hessam S. Sarjoughian,et al.  EMF-DEVS modeling , 2012, SpringSim.

[10]  Dmitry Zinoviev,et al.  Mapping DEVS Models onto UML Models , 2005, ArXiv.

[11]  Bernard P. Zeigler,et al.  Interoperability between DEVS simulators using service oriented architecture and DEVS namespace , 2009, SpringSim '09.

[12]  Mamadou Kaba Traoré,et al.  A model-driven software environment for modeling, simulation and analysis of complex systems , 2011, SpringSim.

[13]  Hans Vangheluwe,et al.  GENERATION OF DEVS MODELLING & SIMULATION ENVIRONMENTS , .

[14]  Jean François Santucci,et al.  From State-transition Models to DEVS Models - Improving DEVS External Interoperability using MetaDEVS - A MDE Approach , 2013, SIMULTECH.

[15]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[16]  Jean Bézivin.  Sur les principes de base de l'ingénierie des modèles , 2004, Obj. Logiciel Base données Réseaux.

[17]  Saurabh Mittal,et al.  DEVSML 2.0: the language and the stack , 2012, SpringSim.

[18]  Eugene J. H. Kerckhoffs,et al.  CREATING DEVS COMPONENTS WITH THE METAMODELLING TOOL ATOM , 2003 .

[19]  Hessam S. Sarjoughian,et al.  A framework for executable UML models , 2009, SpringSim '09.

[20]  Greg J. Badros.  JavaML: a markup language for Java source code , 2000, Comput. Networks.

[21]  Qun Li,et al.  A transformation model from DEVS to SMP2 based on MDA , 2009, Simul. Model. Pract. Theory.

[22]  Alexander Verbraeck,et al.  Model transformation from BPMN to DEVS in the MDD4MS framework , 2012, SpringSim.

[23]  Juan de Lara,et al.  Using AToM3 as a Meta-Case Tool , 2002, ICEIS.

[24]  Bernard P. Zeigler,et al.  From UML State Charts to DEVS State Machines using XML , 2007 .

[25]  Mara Nikolaidou,et al.  A UML2.0 profile for DEVS: Providing code generation capabilities for simulation , 2007, SEDE.

[26]  Jean Bézivin,et al.  Model-based Technology Integration with the Technical Space Concept , 2006 .