%0 Journal Article 
%T A Model to Guide Dynamic Adaptation Planning in Self-Adaptive Systems
%D 2016
%@ 1571-0661
%U http://hdl.handle.net/10906/81724
%X 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.
%K Dynamic Adaptation
%K Systems application architecture
%K Hardware y arquitectura de computadores
%K Telecommunication
%K Telecomunicaciones
%K Adaptación dinámica
%K Automatización y sistemas de control
%~ GOEDOC, SUB GOETTINGEN