Characterization of Adaptable Interpreted-DSML

  • Eric Cariou
  • Olivier Le Goaer
  • Franck Barbier
  • Samson Pierre
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7949)


One of the main goals of model-driven engineering (MDE) is the manipulation of models as exclusive software artifacts. Model execution is in particular a means to substitute models for code. More precisely, as models of a dedicated domain-specific modeling language (DSML) are interpreted through an execution engine, such a DSML is called interpreted-DSML (i-DSML for short). On another way, MDE is a promising discipline for building adaptable systems based on models at runtime. When the model is directly executed, the system becomes the model: This is the model that is adapted. In this paper, we propose a characterization of adaptable i-DSML where a single model is executed and directly adapted at runtime. If model execution only modifies the dynamical elements of the model, we show that the adaptation can modify each part of the model and that the execution and adaptation semantics can be changed at runtime.


model execution adaptation i-DSML models at runtime 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ballagny, C., Hameurlain, N., Barbier, F.: MOCAS: A State-Based Component Model for Self-Adaptation. In: Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2009). IEEE Computer Society (2009)Google Scholar
  2. 2.
    Blair, G.S., Bencomo, N., France, R.B.: Models@run.time. IEEE Computer 42(10), 22–27 (2009)CrossRefGoogle Scholar
  3. 3.
    Breton, E., Bézivin, J.: Towards an understanding of model executability. In: Breton, E., Bézivin, J. (eds.) Proceedings of the International Conference on Formal Ontology in Information Systems (FOIS 2001). ACM (2001)Google Scholar
  4. 4.
    Cariou, E., Ballagny, C., Feugas, A., Barbier, F.: Contracts for Model Execution Verification. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 3–18. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  5. 5.
    Cariou, E., Graiet, M.: Contrats pour la vérification d’adaptation d’exécution de modèles. In: 1ère Conférence en IngénieriE du Logiciel (CIEL 2012) (2012)Google Scholar
  6. 6.
    Cariou, E., Le Goaer, O., Barbier, F.: Model Execution Adaptation? In: 7th International Workshop on Models@run.time (MRT 2012) at MoDELS 2012. ACM Digital Library (2012)Google Scholar
  7. 7.
    Clarke, P.J., Wu, Y., Allen, A.A., Hernandez, F., Allison, M., France, R.: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments. In: Towards Dynamic Semantics for Synthesizing Interpreted DSMLs, ch. 9. IGI Global (2013)Google Scholar
  8. 8.
    Combemale, B., Crégut, X., Garoche, P.-L., Xavier, T.: Essay on Semantics Definition in MDE – An Instrumented Approach for Model Verification. Journal of Software 4(9) (2009)Google Scholar
  9. 9.
    Combemale, B., Crégut, X., Pantel, M.: A Design Pattern to Build Executable DSMLs and associated V&V tools. In: The 19th Asia-Pacific Software Engineering Conference (APSEC 2012). IEEE (2012)Google Scholar
  10. 10.
    Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 323–337. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  11. 11.
    Fleurey, F., Solberg, A.: A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 606–621. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  12. 12.
    Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3) (1987)Google Scholar
  13. 13.
    Lehmann, G., Blumendorf, M., Trollmann, F., Albayrak, S.: Meta-Modeling Runtime Models. In: Dingel, J., Solberg, A. (eds.) MODELS 2010 Workshops. LNCS, vol. 6627, pp. 209–223. Springer, Heidelberg (2011)Google Scholar
  14. 14.
    Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Comput. Surv. 37(4) (2005)Google Scholar
  15. 15.
    Pons, C., Baum, G.: Formal Foundations of Object-Oriented Modeling Notations. In: 3rd International Conference on Formal Engineering Methods (ICFEM 2000). IEEE (2000)Google Scholar
  16. 16.
    Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Trans. Auton. Adapt. Syst. 4, 14:1–14:42 (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Eric Cariou
    • 1
  • Olivier Le Goaer
    • 1
  • Franck Barbier
    • 1
  • Samson Pierre
    • 1
  1. 1.LIUPPA, PauWare Research GroupUniversité de PauPau CedexFrance

Personalised recommendations