TY  - CHAP
EP  - 1527
T2  - Proceedings of the 27th Symposium On Applied Computing (SAC)
ID  - eprints1576
SP  - 1522
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 a preliminary investigation aiming at studying how coordination languages and formal methods can contribute to a better understanding, implementation and usage 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 adaptation techniques, namely the MAPE-K loop, aspect- and context-oriented programming.
A1  - Gjondrekaj, Edmond
A1  - Loreti, Michele
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
SN  - 978-1-4503-0857-1
PB  - ACM Press
UR  - http://doi.acm.org/10.1145/2245276.2232019
TI  - Modeling adaptation with a tuple-based coordination language
AV  - public
Y1  - 2012///
KW  - Autonomic computing
KW  -  adaptive systems
KW  -  aspect- and contextoriented programming
KW  -  coordination languages
ER  -