eprintid: 1559
rev_number: 8
eprint_status: archive
userid: 31
dir: disk0/00/00/15/59
datestamp: 2013-05-02 13:21:35
lastmod: 2013-05-02 13:21:35
status_changed: 2013-05-02 13:21:35
type: article
metadata_visibility: show
creators_name: Gjondrekaj, Edmond
creators_name: Loreti, Michele
creators_name: Pugliese, Rosario
creators_name: Tiezzi, Francesco
creators_id: 
creators_id: 
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
title: Modeling Adaptation with Klaim
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Autonomic computing, adaptive systems, aspect- and
context-oriented programming, coordination languages
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 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.
date: 2012
date_type: published
publication: SIGAPP Applied Computing Review
volume: 12
number: 4
publisher: ACM Press
pagerange: 21-35
id_number: 10.1145/2432546.2432548
refereed: TRUE
related_url_url: http://www.sigapp.org/acr.html
related_url_type: pub
citation:   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)  
document_url: http://eprints.imtlucca.it/1559/1/ACR_SAC2012.pdf