From State-transition Models to DEVS Models - Improving DEVS External Interoperability using MetaDEVS - A MDE Approach

Stéphane Garredu, Evelyne Vittori, Jean-François Santucci, Paul-Antoine Bisgambiglia

2013

Abstract

In this paper, the issue of the “external” interoperability of DEVS models is discussed. Scientists often need to simulate non-DEVS models using a DEVS-oriented framework, in order, for instance, to make their DEVS and non-DEVS modes interoperate. The source formalisms we propose to transform onto DEVS models are those which are based on the “family” of states and transitions. A general and model-oriented approach called MetaDEVS is presented in this article. MetaDEVS is also the name given to the DEVS metamodel we use. This metamodel allows creating platform-independent DEVS models. This paper shows how models which belong to the state and transitions “family” can be mapped onto DEVS, and more exactly onto MetaDEVS-based DEVS models, following the MetaDEVS approach. Then, the approach is applied to a concrete case: we transform Finite-State Machine (FSM) models into MetaDEVS models, using ATL, a hybrid language (which mixes both declarative and imperative rules), within the Eclipse Modelling Framework. A metamodel to describe the FSM formalism is also proposed.

References

  1. Barros, F. J., 1997. Modeling formalisms for dynamic structure systems. ACM Transactions on Modeling and Computer Simulation 7, 501-515.
  2. Bézivin J., « Sur les principes de base de l'ingénierie des modèles », RSTI-L'Objet, 10(4):145-157, 2004.
  3. Bisgambiglia, P.-A., Gentili, E. de, Bisgambiglia, P.A., Santucci, J.-F., 2009. Fuzz-iDEVS: Towards a fuzzy toolbox for discrete event systems, in: ACM (Ed.), Proceedings of the SIMUTools'09, Rome (Italy).
  4. Bolduc, J. S., Vangheluwe, H. A modelling and simulation package for classical hierarchical DEVS. MSDL technical report MSDL-TR-2001-01, McGill University, June 2001
  5. Capocchi L., Santucci J. F., Poggi B., Nicolai C., DEVSimPy: A Collaborative Python Software for Modeling and Simulation of DEVS Systems, 2nd International Track on Collaborative Modeling & Simulation - CoMetS'11, Paris : France (2011)
  6. Cetinkaya Deniz, Verbraeck Alexander et Seck Mamadou D., Model transformation from BPMN to DEVS in the MDD4MS framework, Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, Orlando, Floride, 2012
  7. Filippi, J. « Une architecture logicielle pour la multimodélisation et la simulation à évènement discrets de systèmes naturels complexes », PhD Thesis, Université de Corse, 2003
  8. Garredu, S., Vittori, E., Santucci, J.-F., and Bisgambiglia, P.-A., A Meta-Model for DEVS - Designed following Model Driven Engineering Specifications, Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 28 - 31 July, 2012.
  9. Glushkov, Victor M. « The abstract theory of automata », dans Russian Math. Surveys, vol. 16, 1961, p. 1-53
  10. Hopcroft, J. E. and Ullman, J. D. Introduction to Automata Theory, Languages, and Computation, AddisonWesley, Reading, MA, 1976.
  11. Jouault J., Kurtev I., «On the Architectural Alignment of ATL and QVT», In Proceedings ofthe 2006 ACM symposium on Applied computing, session Model transformation, Dijon, 2006, New York, ACM Press, p. 1188-1195.
  12. Kofman, E., M. Lapadula, and E. Pagliero, PowerDEVS: A DEVS-based Environment for Hybrid System Modeling and Simulation, Technical Report LSD0306, LSD, Universidad Nacional de Rosario, Argentina, 2003
  13. Kurtev, I., Bézivin, J. et Aksit, M. (2002) Technological Spaces: An Initial Appraisal. In: International Conference on Cooperative Information Systems (CoopIS), DOA'2002 Federated Conferences, Industrial Track, 30 Oct - 1 Nov 2002, Irvine, USA. pp. 1-6.
  14. Mittal S., Martín J. L. R., Zeigler B.P. « DEVSML: automating DEVS execution over SOA towards transparent simulators », Proceedings of the 2007 ACM Spring Simulation Multiconference, March 25- 29, 2007, Norfolk, VA, USA, Vol. 2, pp. 287-295.
  15. OMG, Object Management Group website, www.omg.org, 2013
  16. Posse E., Bolduc J.-S., « Generation of DEVS Modelling & Simulation Environments », Proceedings of the 2003 SCS Summer Computer Simulation Conference, July 2003, Montréal, Canada, pp. 295-300.
  17. QVT, Object Management Group website, http://www.omg.org/spec/QVT/1.1/PDF, 2013
  18. Sarjoughian, Hessam et Markid, Abbas Mahmoodi, EMFDEVS modeling, Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, Orlando, Florida, 2012
  19. Song, H., Infrastructure for DEVS Modelling and Experimentation. Master's thesis. McGill University. School of Computer Science. (2006)
  20. Steinberg, D., Budinsky F., Paternostro M., and Merks E., Eclipse Modeling Framework 2nd Edition, Addison Wesley, 2009
  21. Touraille L., Traoré M.K., Hill D., « SimStudio : une Infrastructure pour la Modélisation, la Simulation et l'Analyse de Systèmes Dynamiques Complexes », UMR CNRS 6158, LIMOS/RR-10-13, 2010, 12 p. (2010)
  22. Vangheluwe H. L. M., « DEVS as a Common Denominator for Multi-formalism Hybrid Systems Modelling », IEEE International Symposium on Computer-Aided Control System Design, 25-27 September, 2000, Anchorage, Alaska, USA, pp. 129- 134.
  23. Wainer, Gabriel A., Al-Zoubi, Khaldoon, Mittal, Saurabh, Risco Martín, Jose Luis, Sarjoughian, Hessam, Zeigler, Bernard P., Dalle, Olivier, Hill, David R.C. (2010). Standardizing DEVS Simulation Middleware. In: Discrete-Event Modeling and simulation: Theory and Applications, edited by Wainer, G., and Mosterman, P., CRC Press, Taylor and Francis, pp. 459-493
  24. Wainer, G., Liu, Q., Jafer, S., 2011. Parallel Simulation of DEVS and Cell-DEVS Models in PCD++, in: Wainer, G., Mosterman, P. (Eds.), Discrete-Event Modeling and Simulation. CRC Press, pp. 223-270.
  25. Zeigler, B. P. 1989. "DEVS Representation of Dynamical System", in Proceedings of the IEEE, Vol.77, pp. 72- 80
  26. Zeigler, B. P., Praehofer, H., Kim, T. G. "Theory of Modeling and Simulation: Integrating Discrete and Continuous Complex Dynamic Systems", 2nd Edition, Academic press 2000, ISBN 0-12-778455-1.
Download


Paper Citation


in Harvard Style

Garredu S., Vittori E., Santucci J. and Bisgambiglia P. (2013). From State-transition Models to DEVS Models - Improving DEVS External Interoperability using MetaDEVS - A MDE Approach . In Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-8565-69-3, pages 186-196. DOI: 10.5220/0004494401860196


in Bibtex Style

@conference{simultech13,
author={Stéphane Garredu and Evelyne Vittori and Jean-François Santucci and Paul-Antoine Bisgambiglia},
title={From State-transition Models to DEVS Models - Improving DEVS External Interoperability using MetaDEVS - A MDE Approach},
booktitle={Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2013},
pages={186-196},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004494401860196},
isbn={978-989-8565-69-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - From State-transition Models to DEVS Models - Improving DEVS External Interoperability using MetaDEVS - A MDE Approach
SN - 978-989-8565-69-3
AU - Garredu S.
AU - Vittori E.
AU - Santucci J.
AU - Bisgambiglia P.
PY - 2013
SP - 186
EP - 196
DO - 10.5220/0004494401860196