Characterization of Adaptable Interpreted-DSML

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.

[1]  Nabil Hameurlain,et al.  MOCAS: A State-Based Component Model for Self-Adaptation , 2009, 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems.

[2]  Claudia Pons,et al.  Formal foundations of object-oriented modeling notations , 2000, ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods.

[3]  Benoît Combemale,et al.  A Design Pattern to Build Executable DSMLs and Associated V&V Tools , 2012, 2012 19th Asia-Pacific Software Engineering Conference.

[4]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[5]  Ladan Tahvildari,et al.  Self-adaptive software: Landscape and research challenges , 2009, TAAS.

[6]  Steffen Zschaler,et al.  Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio , 2014, ECMFA.

[7]  Franck Barbier,et al.  Model execution adaptation? , 2012, MRT '12.

[8]  Garry D. Coleman,et al.  Advancing the Standard , 1999 .

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

[10]  Jean Bézivin,et al.  Towards an understanding of model executability , 2001, FOIS.

[11]  Franck Fleurey,et al.  A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems , 2009, MoDELS.

[12]  Sahin Albayrak,et al.  Meta-Modeling Runtime Models , 2010, Models@run.time.

[13]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[14]  Franck Barbier,et al.  Contracts for Model Execution Verification , 2011, ECMFA.

[15]  Benoît Combemale,et al.  Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification , 2009, J. Softw..

[16]  Nelly Bencomo,et al.  Models@run.time , 2014, Lecture Notes in Computer Science.

[17]  Marjan Mernik,et al.  Formal and Practical Aspects of Domain-Specific Languages: Recent Developments , 2012 .

[18]  Christina L. Hennessey ACM Digital Library , 2012 .

[19]  Reiko Heckel,et al.  Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML , 2000, UML.