A Model to Guide Dynamic Adaptation Planning in Self-Adaptive Systems

Self-adaptive enterprise applications have the ability to continuously reconfigure themselves according to changes in their execution contexts or user requirements. The infrastructure managing such systems is based on IBM's MAPE-K reference model: a Monitor and an Analyzer to sense and interpret context data, a Planner and an Executor to create and apply structural adaptation plans, and a Knowledge manager to share relevant information. In this paper we present a formal model, built on the principles of constraint satisfaction, to address dynamic adaptation planning for self-adaptive enterprise applications. We formalize, modify and extend the approach presented in [H. Arboleda, J. F. Díaz, V. Vargas, and J.-C. Royer, "Automated reasoning for derivation of modeldriven spls," in SPLC'10 MAPLE'10, 2010, pp. 181-188] for working with self-adaptation infrastructures in order to provide automated reasoning on the dynamic creation of structural adaptation plans. We use a running example to demonstrate the applicability of such model, even in situations where complex interactions arise between context elements and the target self-adaptive enterprise application.

• Autores: Paz Loboguerrero Andrés; Arboleda Jiménez, Hugo Fernando
• Tipo de recurso: Article of investigation
• Fecha de publicación: 2016
• Institución: Universidad ICESI
• Repositorio: Repositorio ICESI
• Idioma: eng
• OAI Identifier: oai:repository.icesi.edu.co:10906/81724
• Acceso en línea: https://www.scopus.com/inward/record.uri?eid=2-s2.0-84964691249&doi=10.1016%2fj.entcs.2016.02.005&partnerID=40&md5=4a365c93ee9a06da65a19602febb36ad; http://hdl.handle.net/10906/81724; http://dx.doi.org/10.1016/j.entcs.2016.02.005
• Palabra clave: Dynamic Adaptation; Systems application architecture; Telecommunication; Hardware y arquitectura de computadores; Telecomunicaciones; Adaptación dinámica; Automatización y sistemas de control
• License: https://creativecommons.org/licenses/by-nc-nd/4.0/