Characterization of adaptable Interpreted-DSML

Authors:
Eric Cariou;Olivier Le Goaer;Franck Barbier;Samson Pierre
Affiliations:
LIUPPA, PauWare Research Group, Université de Pau, Pau Cedex, France;LIUPPA, PauWare Research Group, Université de Pau, Pau Cedex, France;LIUPPA, PauWare Research Group, Université de Pau, Pau Cedex, France;LIUPPA, PauWare Research Group, Université de Pau, Pau Cedex, France
Venue:
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Year:
2013

Citing 13
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Towards an understanding of model executability

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Formal Foundations of Object-Oriented Modeling Notations

ICFEM '00 Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods
When and how to develop domain-specific languages

ACM Computing Surveys (CSUR)
Self-adaptive software: Landscape and research challenges

ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Models@ run.time

Computer
MOCAS: A State-Based Component Model for Self-Adaptation

SASO '09 Proceedings of the 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems
A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Dynamic meta modeling: a graphical approach to the operational semantics of behavioral diagrams in UML

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Meta-modeling runtime models

MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Contracts for model execution verification

ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Model execution adaptation?

Proceedings of the 7th Workshop on Models@run.time
A Design Pattern to Build Executable DSMLs and Associated V&V Tools

APSEC '12 Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 01

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.