A Survey of Model-Driven Approaches Applied to DEVS - A Comparative Study of Metamodels and Transformations

Stéphane Garredu, Evelyne Vittori, Jean-François Santucci, Bastien Poggi

2014

Abstract

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.

References

  1. ACCELEO2013. ttp://www.eclipse.org/acceleo/.
  2. Badros, G., 2000. “JavaML: A Markup Language for Java Source Code.” Proceedings of the 9th International World Wide Web Conference (Amsterdam, Netherlands, May. 15-19),159- 7.
  3. Bézivin J., « Sur les principes de base de l'ingénierie des modèles », RSTI-L'Objet, 10(4):145-157, 2004.
  4. Bézivin,J and Kurtev, I. : Model-based Technology Integration with the Technical Space Concept. In Metainformatics Symposium, Esbjerg, Denmark, 2005. Springer-Verlag.
  5. 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
  6. Borland, S., Transforming Statechart models to DEVS,2003.
  7. Cetinkaya D., Verbraeck A., and Seck M. 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
  8. DEVSJAVA2013. http://www.acims.arizona.edu/
  9. 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, Simultech 2012, Rome, Italy, 28 - 31 July, 2012.
  10. Garredu, S., Vittori, E., Santucci, J.-F., and Bisgambiglia, P.-A., (In Press) From State-Transition Models to DEVS Models - Improving DEVS external interoperability using MetaDEVS: a MDE approach, Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Reykjavik, Simultech 2013, Iceland, 29 - 31 July, 2013.
  11. Harel D., Statecharts : A visual formalism for complex systems, Science of Computer Programming, 8(3):231-274, 1987.
  12. Jouault, F. and Kurtev, I. (2006) On the architectural alignment of ATL and QVT. In: Proceedings of the 2006 ACM symposium on Applied computing, Dijon, France.
  13. Kleppe, A., Warmer, S., Bast, W., "MDA Explained. The Model Driven Architecture: Practice and Promise", Addison-Wesley, April 2003.
  14. Lara J., Vangheluwe, H., “Using AToM as a Meta CASE Tool”, 4th International Conference on Enterprise Information Systems, Universidad de Castilla-La Mancha, Ciudad Real (Spain), 3-6, April 2002.
  15. Lei, Y., Wang, W., Li, Q., and Zhu, Y., A transformation model from DEVS to SMP2 based on MDA, Simulation Modelling Practice and Theory, Vol. 17, Nr. 10 (2009) , p. 1690-1709.
  16. Levytskyy, A., Kerckhoffs, E. J., Posse, E. and Vangheluwe, H., “Creating DEVS components with the meta-modelling tool AToM ” in 15th European 3 Simulation Symposium (ESS), A. Verbraeck and V. Hlupic, Eds. Society for Modeling and Simulation International (SCS), October 2003, pp. 97 - 103, delft, The Netherlands.
  17. Mens, T., Czarnecki, K., and Van Gorp, P., A Taxonomy of Model Transformations, Electronic Notes in Theoretical Computer Science (ENTCS) Volume 152, March, 2006, pp. 125-142.
  18. 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.
  19. Mittal, S., Douglass, S.A., DEVSML 2.0: The Language and the Stack, DEVS Symposium, Spring Simulation Multiconference 2012, Orlando.
  20. Computing & Simulation Symposium, Spring Simulation Conference, pages 1-8, 2009.
  21. Nikolaidou, M., Dalakas, V., Kapos, G.-D., Mitsi, L. and Anagnostopoulos, D., « A UML 2.0 profile for DEVS: Providing code generation capabilities for simulation » in Proceedings of 16th International.
  22. Conference on Software Engineering and Data Engineering (SEDE-2007), Las Vegas, USA, July 2007 (Invited paper).
  23. Nikolaidou, M., Dalakas, V., Mitsi, L., Kapos, G.-D., Anagnostopoulos, D. « A SysML Profile for Classical DEVS Simulators » (Conference Paper) Proceedings of the 2008 The Third International Conference on Software Engineering Advances, 978-0-7695-3372-8, Pp 445-450, 2008, 10.1109/ICSEA.2008.24, IEEE Computer Society.
  24. OMG 2001. Model Driven Architecture homepage - http://www.omg.org/mda/.
  25. OMG UML 2011. Unified Modeling Language specifications-http://www.omg.org/spec/UML/2.4.1
  26. OMG SysML 2012. Systems Modeling Language - http://www.omg.org/spec/SysML/1.3/.
  27. Posse, E., Bolduc, J.S., Vangheluwe, H., Generation of DEVS Modelling & Simulation Environments. In Proceedings of the 2003 Summer Computer Simulation Conference SCSC 2003.
  28. Risco-Martin, J.L., Mittal, S., Zeigler, B.P., Cruz, J.L, "From UML Statecharts to DEVS State Machines using XML", Multi-paradigm Modeling, IEEE/ACM International Conference on Model Driven Engineering Languages and Systems , 2007.
  29. Rumbaugh, J., Jacobson, I. and Booch, G., “The unified modeling language reference manual”, The AddisonWesley object technology series, Addison-Wesley, 2005.
  30. Sarjoughian H.S. and Markid, A.M., 2012. EMF-DEVS modeling. In Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (TMS/DEVS 7812). Society for Computer Simulation International, San Diego, CA, USA.
  31. Schulz, S., T. C. Ewing, and J. W. Rozenblit. 2000. Discrete event system specification (DEVS) and statemate statecharts equivalence for embedded systems modeling, Proceedings of the 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, Edinburgh, Scotland, 2000.
  32. Seo, C. "Interoperability between DEVS Simulators using Service Oriented Architecture and DEVS Namespace", Ph.D. dissertation, Electrical and Computer Engineering Dept., University of Arizona, Spring 2009.
  33. SISO 2008. Simulation Interoperability Standards Organisation, SISO-REF-019-2008: Discrete-Event Systems Specification (DEVS).
  34. Song, H., Infrastructure for DEVS Modelling and Experimentation. Master's thesis. McGill University. School of Computer Science. (2006)
  35. Steinberg, F.D., Budinsky, F., Paternostro, M., and Merks, E. Eclipse Modeling Framework 2nd Edition, Addison Wesley, 2009.
  36. Touraille, L., Traoré, M.K., Hill, D., "On the interoperability of DEVS components : On-Line vs. OffLine Strategies.", 2009, UMR CNRS 6158, LIMOS/RR-09-04, 13 p.
  37. Touraille, L., Traoré, M.K., and Hill, D. R. C., 2011. A model-driven software environment for modeling, simulation and analysis of complex systems. In Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS 7811). Society for Computer Simulation International, San Diego, CA, USA, 229- 237.
  38. Zinoviev, D., "Mapping DEVS Models onto UML Models," Proc. of the 2005 DEVS Integrative M&S Symposium, San Diego, CA, April 2005, pp. 101-106.
  39. Zeigler, B.P., Theory of Modeling and Simulation, NewYork: Wiley-Interscience, 1976.
Download


Paper Citation


in Harvard Style

Garredu S., Vittori E., Santucci J. and Poggi B. (2014). A Survey of Model-Driven Approaches Applied to DEVS - A Comparative Study of Metamodels and Transformations . In Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-758-038-3, pages 179-187. DOI: 10.5220/0005041001790187


in Bibtex Style

@conference{simultech14,
author={Stéphane Garredu and Evelyne Vittori and Jean-François Santucci and Bastien Poggi},
title={A Survey of Model-Driven Approaches Applied to DEVS - A Comparative Study of Metamodels and Transformations},
booktitle={Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2014},
pages={179-187},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005041001790187},
isbn={978-989-758-038-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - A Survey of Model-Driven Approaches Applied to DEVS - A Comparative Study of Metamodels and Transformations
SN - 978-989-758-038-3
AU - Garredu S.
AU - Vittori E.
AU - Santucci J.
AU - Poggi B.
PY - 2014
SP - 179
EP - 187
DO - 10.5220/0005041001790187