TY  - JOUR
N2  - In recent years, it has been argued that systems and applications, in order to deal with their increasing complexity, should be able to adapt their behavior according to new requirements or environment conditions. In this paper, we present an investigation aiming at studying how coordination languages and formal methods can contribute to a better understanding, implementation and use of the mechanisms and techniques for adaptation currently proposed in the literature. Our study relies on the formal coordination language Klaim as a common framework for modeling some well-known adaptation techniques: the IBM MAPE-K loop, the Accord component-based framework for architectural adaptation, and the aspect- and context-oriented programming paradigms. We illustrate our approach through a simple example concerning a data repository equipped with an automated cache mechanism.
SP  - 21
PB  - ACM Press
A1  - Gjondrekaj, Edmond
A1  - Loreti, Michele
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
JF  - SIGAPP Applied Computing Review
IS  - 4
UR  - http://eprints.imtlucca.it/1559/
Y1  - 2012///
KW  - Autonomic computing
KW  -  adaptive systems
KW  -  aspect- and
context-oriented programming
KW  -  coordination languages
AV  - public
TI  - Modeling Adaptation with Klaim
VL  - 12
EP  - 35
ID  - eprints1559
ER  -