Abstract
Constructing and executing distributed systems that can automatically adapt to the dynamic changes of the environment are highly complex tasks. Non-trivial challenges include provisioning of efficient design time and run time representations, system validation to ensure safe adaptation of interdependent components, and scalable solutions to cope with the possible combinatorial explosions of adaptive system artifacts such as configurations, variant dependencies and adaptation rules. These are all challenges where current approaches offer only partial solutions. Furthermore, in current approaches the adaptation logic is typically specified at the code level, tightly coupled with the main system functionality, making it hard to control and maintain. This paper presents a domain specific modeling language (DSML) allowing specification of the adaptation logic at the model level, and separation of the adaptation logic from the main system functionality. It supports model-checking and design-time simulation for early validation of adaptation policies. The model level specifications are used to generate the adaptation logic. The DSML also provides indirection mechanisms to cope with combinatorial explosions of adaptive system artifacts. The proposed approach has been implemented and validated through case studies.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This work was partially funded by the DiVA project (EU FP7 STREP, contract 215412). See http://www.ict-diva.eu/
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
Deliverable D3.1: Survey and evaluation of approaches for runtime variability management, part of FP7 project DiVA, EU FP7 STREP, contract 215412 (2008)
Morin, B., Fleurey, F., Bencomo, N., Jézéquel, J.-M., Solberg, A., Dehlen, V., Blair, G.: An aspect-oriented and model-driven approach for managing dynamic variability. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 782–796. Springer, Heidelberg (2008)
Fleurey, F., Dehlen, V., Bencomo, N., Morin, B., Jézéquel, J.M.: Modeling and Validating Dynamic Adaptation. In: The Models@run.time at MODELS 2008, Toulouse, France (2008)
Floch, J., Hallsteinsen, S., Stav, E., Eliassen, F., Lund, K., Gjorven, E.: Using architecture models for runtime adaptability. Software IEEE 23(2), 62–70 (2006)
Bencomo, N., Grace, P., Flores, C., Hughes, D., Blair, G.: Genie: Supporting the model driven development of reflective, component-based adaptive systems. In: ICSE 2008 - Formal Research Demonstrations Track (2008)
Zhang, J., Cheng, B.H.C.: Model-based Development of Dynamically Adaptive Software. In: Proceedings of the ICSE 2006 Conference, New York, NY, USA, pp. 371–380 (2006)
David, P., Ledoux, T.: Safe Dynamic Reconfigurations of Fractal Architectures with FScript. In: Proceeding of Fractal CBSE Workshop, ECOOP 2006, Nantes, France (2006)
Pessemier, N., Seinturier, L., Coupaye, T., Duchien, L.: A Safe Aspect-Oriented Programming Support for Component-Oriented Programming. In: WCOP 2006@ECOOP, vol. 2006–11 of Technical Report, Nantes, France. Karlsruhe University (2006)
Soria, C.C., Pérez, J., Cars, J.A.: Dynamic Adaptation of Aspect-Oriented Components. In: Schmidt, H.W., Crnković, I., Heineman, G.T., Stafford, J.A. (eds.) CBSE 2007. LNCS, vol. 4608, pp. 49–65. Springer, Heidelberg (2007)
Hallsteinsen, S., Stav, E., Solberg, A., Floch, J.: Using product line techniques to build adaptive systems. In: Proceedings of SPLC 2006, Washington, DC, USA, pp. 141–150 (2006)
Kephart, J.O., Das, R.: Achieving Self-Management via Utility Functions. IEEE Internet Computing 11(1), 40–48 (2007)
Capra, L., Emmerich, W., Mascolo, C.: CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications. IEEE TSE 29(10), 929–945 (2003)
Keeney, J., Cahill, V., Haahr, M.: Techniques for Dynamic Adaptation of Mobile Services. In: The Handbook of Mobile Middleware, Auerbach, ISBN: 0849338336
Keeney, J., Cahill, V.: Chisel: A Policy-Driven, Context-Aware, Dynamic Adaptation Framework. In: Proceedings of Policy 2003, Lake Como, Italy, pp. 3–14. IEEE, Los Alamitos (1933)
Zhang, J., Cheng, B.H.: Specifying adaptation semantics. In: Proceedings of the, Workshop on Architecting Dependable Systems. WADS 2005, St. Louis, Missouri, May 17, pp. 1–7. ACM, New York (2005)
Romain Rouvoy Deliverable D1.1 Requirements of mechanisms and planning algorithms for self-adaptation. MUISIC, FP6 Integrated project, Contract no 035166 (October 2007), http://www.ist-music.eu/MUSIC/results/music-deliverables
ALIVE Deliverable D2.1, State of the Art. ALIVE project FP7 project number FP7-215890. http://www.ist-alive.eu/.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fleurey, F., Solberg, A. (2009). A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems. In: Schürr, A., Selic, B. (eds) Model Driven Engineering Languages and Systems. MODELS 2009. Lecture Notes in Computer Science, vol 5795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04425-0_47
Download citation
DOI: https://doi.org/10.1007/978-3-642-04425-0_47
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04424-3
Online ISBN: 978-3-642-04425-0
eBook Packages: Computer ScienceComputer Science (R0)