Eric Cariou
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. On another way, MDE is a promising discipline for building adaptable systems thanks to models at runtime. When the model is directly executed, the system becomes the model, then, this is the model that is adapted. In this paper, we investigate the adaptation of the model itself in the context of model execution. We present a first experimentation where we study the constraints on a model to be able to determine if it is consistent (that is, adapted) with an execution environment, possibly including fail-stop modes. Then, we state some perspectives and open issues about model execution adaptation.
- G. S. Blair, N. Bencomo, and R. B. France. [email protected]. IEEE Computer, 42(10):22--27, 2009. Google Scholar
Digital Library
- E. Cariou, C. Ballagny, A. Feugas, and F. Barbier. Contracts for Model Execution Verification. In ECMFA '11, volume 6698 of LNCS. Springer, 2011. Google ScholarDigital Library
- E. Cariou, N. Belloir, F. Barbier, and N. Djemam. OCL Contracts for the Verification of Model Transformations. In OCL Workshop at MoDELS 2009, volume 24. EC-EASST, 2009.Google Scholar
- B. H. C. Cheng, R. De Lemos, H. Giese, P. Inverardi, J. Magee, J. Andersson, B. Becker, N. Bencomo, Y. Brun, B. Cukic, and et al. Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for SelfAdaptive Systems, 5525(08031):1--26, 2009. Google ScholarDigital Library
- B. Combemale, X. Crégut, P.-L. Garoche, and T. Xavier. Essay on Semantics Definition in MDE -- An Instrumented Approach for Model Verification. Journal of Software, 4(9), 2009.Google ScholarCross Ref
- S. Dobson, R. Sterritt, P. Nixon, and M. Hinchey. Fulfilling the Vision of Autonomic Computing. IEEE Computer, 43(1):35--41, 2010. Google ScholarDigital Library
- F. Fleurey and A. Solberg. A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems. In MODELS '09, volume 5795 of LNCS. Springer, 2009. Google ScholarDigital Library
- J. Floch, S. Hallsteinsen, E. Stav, F. Eliassen, K. Lund, and E. Gjørven. Using Architecture Models for Runtime Adaptability. IEEE Software, 23(2):62--70, 2006. Google ScholarDigital Library
- R. France and B. Rumpe. Model-driven Development of Complex Software: A Research Roadmap. In FOSE '07. IEEE Computer Society, 2007. Google ScholarDigital Library
- G. Lehmann, M. Blumendorf, F. Trollmann, and S. Albayrak. Meta-Modeling Runtime Models. In [email protected] Workshop at MoDELS 2010, volume 6627 of LNCS. Springer, 2010. Google ScholarDigital Library
- B. Morin, O. Barais, J.-M. Jézéquel, F. Fleurey, and A. Solberg. [email protected] to Support Dynamic Adaptation. IEEE Computer, 42(10):44--51, 2009. Google ScholarDigital Library
- P. Oreizy, M. Gorlick, R. Taylor, D. Heimbigner, G. Johnson, N. Medvidovic, A. Quilici, D. Rosenblum, and A. Wolf. An Architecture-Based Approach to Self-adaptive Software. IEEE Intelligent Systems, 1999. Google ScholarDigital Library
- M. Salehie and L. Tahvildari. Self-adaptive software: Landscape and research challenges. ACM Trans. Auton. Adapt. Syst., 4:14:1--14:42, 2009. Google ScholarDigital Library
- N. M. Villegas, H. A. Müller, G. Tamura, L. Duchien, and R. Casallas. A framework for evaluating quality-driven self-adaptive software systems. In SEAMS '11. ACM, 2011. Google ScholarDigital Library
- T. Vogel and H. Glese. Language and Framework Requirements for Adaptation Models. In [email protected] Workshop at MODELS 2011, 2011.Google Scholar
- J. Zhang and B. H. C. Cheng. Model-based development of dynamically adaptive software. In ICSE '06. ACM, 2006. Google ScholarDigital Library
Index Terms
- Model execution adaptation?
Recommendations
A Family-Based Framework for i-DSML Adaptation
Proceedings of the 10th European Conference on Modelling Foundations and Applications - Volume 8569One of the main goals of Model-Driven Engineering (MDE) is the manipulation of models as software artifacts. Model execution is in particular a means to substitute models for code. Precisely, if models of a dedicated Domain-Specific Modeling Language (...
Characterization of adaptable Interpreted-DSML
ECMFA'13: Proceedings of the 9th European conference on Modelling Foundations and ApplicationsOne 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 ...
Contracts for model execution verification
ECMFA'11: Proceedings of the 7th European conference on Modelling foundations and applicationsOne of the main goals of model-driven engineering is the manipulation of models as exclusive software artifacts. Model execution is in particular a means to substitute models for code. We focus in this paper on verifying model executions. We use a ...
Comments