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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Blair, G.S., Bencomo, N., France, R.B.: Models@run.time. IEEE Computer 42(10), 22–27 (2009)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3) (1987)
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)
Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Comput. Surv. 37(4) (2005)
Pons, C., Baum, G.: Formal Foundations of Object-Oriented Modeling Notations. In: 3rd International Conference on Formal Engineering Methods (ICFEM 2000). IEEE (2000)
Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Trans. Auton. Adapt. Syst. 4, 14:1–14:42 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cariou, E., Le Goaer, O., Barbier, F., Pierre, S. (2013). Characterization of Adaptable Interpreted-DSML. In: Van Gorp, P., Ritter, T., Rose, L.M. (eds) Modelling Foundations and Applications. ECMFA 2013. Lecture Notes in Computer Science, vol 7949. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39013-5_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-39013-5_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39012-8
Online ISBN: 978-3-642-39013-5
eBook Packages: Computer ScienceComputer Science (R0)