eprintid: 1576
rev_number: 8
eprint_status: archive
userid: 31
dir: disk0/00/00/15/76
datestamp: 2013-05-02 13:25:15
lastmod: 2013-05-02 13:25:15
status_changed: 2013-05-02 13:25:15
type: book_section
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 a tuple-based coordination language
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Autonomic computing, adaptive systems, aspect- and contextoriented 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 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.
date: 2012
publisher: ACM Press
pagerange: 1522-1527
id_number: 10.1145/2245276.2232019
refereed: TRUE
isbn: 978-1-4503-0857-1
book_title: Proceedings of the 27th Symposium On Applied Computing (SAC)
official_url: http://doi.acm.org/10.1145/2245276.2232019
citation:   Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco  Modeling adaptation with a tuple-based coordination language.   In:  Proceedings of the 27th Symposium On Applied Computing (SAC).   ACM Press, pp. 1522-1527.  ISBN 978-1-4503-0857-1      (2012)  
document_url: http://eprints.imtlucca.it/1576/1/GLPT_sac2012.pdf