Logo eprints

Modeling Adaptation with Klaim

Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco Modeling Adaptation with Klaim. SIGAPP Applied Computing Review, 12 (4). pp. 21-35. (2012)

Download (899kB) | Preview
Related URLs


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.

Item Type: Article
Identification Number: 10.1145/2432546.2432548
Uncontrolled Keywords: Autonomic computing, adaptive systems, aspect- and context-oriented programming, coordination languages
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 31 not found.
Date Deposited: 02 May 2013 13:21
Last Modified: 02 May 2013 13:21
URI: http://eprints.imtlucca.it/id/eprint/1559

Actions (login required)

Edit Item Edit Item