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. ACM Symposium on Applied Computing (SAC'12), Special Track on Coordination Models, Languages and Applications
Modeling adaptation with a tuple-based coordination language / E. Gjondrekaj; M. Loreti; R. Pugliese; F. Tiezzi. - STAMPA. - (2012), pp. 1522-1527. (Intervento presentato al convegno ACM Symposium on Applied Computing (SAC'12), Special Track on Coordination Models, Languages and Applications tenutosi a Riva del Garda, Italy nel March 25-29, 2012) [10.1145/2245276.2232019].
Modeling adaptation with a tuple-based coordination language
LORETI, MICHELE;PUGLIESE, ROSARIO;F. Tiezzi
2012
Abstract
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. ACM Symposium on Applied Computing (SAC'12), Special Track on Coordination Models, Languages and ApplicationsI documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.