Automatic generation of object-oriented code from DEVS graphical specifications

The paper presents an approach to automatically generate object-oriented code from DEVS graphical model specification. Afterward the generated DEVS code is given to the LSIS DME DEVS simulator to execute the corresponding behavior. This research is driven by the idea that the user of M&S, even not computer scientist and/or beginner in formal modeling like DEVS can increase his trust in the models he creates and the simulation results he is able to obtain due to the fact he is directly involved at the modeling stage and not anymore interfaced with an intermediate actor (modeler or programmer expert) that would interpret user requirements in the modeling and simulation activities. Using the proposed tool with its user friendly framework and appropriate graphical items, the user is capable to skip learning installation set up and user manual to rapidly develop his own DEVS models, to carry out simulations and to analyze them.

[1]  Raphaël Duboz,et al.  The Virtual Laboratory Environment - An operational framework for multi-modelling, simulation and analysis of complex dynamical systems , 2009, Simul. Model. Pract. Theory.

[2]  Mark Saaltink,et al.  The Z/EVES System , 1997, ZUM.

[3]  Jean-Baptiste Filippi,et al.  JDEVS: an implementation of a DEVS based formal framework for environmental modelling , 2004, Environ. Model. Softw..

[4]  Jonathan P. Bowen,et al.  Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation , 1995 .

[5]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[6]  Gabriel A. Wainer,et al.  Advanced IDE for modeling and simulation of discrete event systems , 2010, SpringSim.

[7]  Herbert Praehofer,et al.  Visual modeling of DEVS-based multiformalism systems based on higraphs , 1993, WSC '93.

[8]  Mohamed Wassim Trojet,et al.  Practical application of "lightweight" Z in DEVS framework , 2009, SpringSim '09.

[9]  J. Banks,et al.  Discrete-Event System Simulation , 1995 .

[10]  B. P. Ziegler,et al.  Theory of Modeling and Simulation , 1976 .

[11]  Gregory Zacharewicz,et al.  LSIS-DME: An Environment for Modeling and Simulation of DEVS Specifications , 2007 .

[12]  Klaus Schilling,et al.  Practical Application of , 2006 .

[13]  Lassaad Baati,et al.  On using design patterns for DEVS modeling and simulation tools , 2010, SpringSim.

[14]  Yu Chen,et al.  Standardizing DEVS models: an endogenous standpoint , 2011, SpringSim.

[15]  Norbert Giambiasi,et al.  Improving the lookahead computation in G-DEVS/HLA environment , 2005, Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications.

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

[17]  Gabriel A. Wainer CD++: a toolkit to develop DEVS models , 2002, Softw. Pract. Exp..

[18]  Norbert Giambiasi,et al.  A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of Workflow , 2010, Simul..