eprintid: 1851
rev_number: 15
eprint_status: archive
userid: 31
dir: disk0/00/00/18/51
datestamp: 2013-10-28 11:52:37
lastmod: 2016-04-06 09:39:46
status_changed: 2013-10-28 11:52:37
type: book_section
metadata_visibility: show
creators_name: Cesari, Luca
creators_name: De Nicola, Rocco
creators_name: Pugliese, Rosario
creators_name: Puviani, Mariachiara
creators_name: Tiezzi, Francesco
creators_name: Zambonelli, Franco
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
creators_id: 
title: Formalising adaptation patterns for autonomic ensembles
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: Autonomic behavior and self-adaptation in software can be supported by several architectural design patterns. In this paper we illustrate how some of the component- and ensemble-level adaptation patterns proposed in the literature can be rendered in SCEL, a formalism devised for modeling autonomic systems. Specifically, we present a compositional approach: first we show how a single generic component is modelled in SCEL, then we show that each pattern is rendered as the (parallel) composition of the SCEL terms corresponding to the involved components (and, possibly, to their environment). Notably, the SCEL terms corresponding to the patterns only differ from each other for the definition of the predicates identifying the targets of attribute-based communication. This enables autonomic ensembles to dynamically change the pattern in use by simply updating components' predicate definitions, as illustrated by means of a case study from the robotics domain.
date: 2014
series: Lecture notes in computer science
number: 8348
publisher: Springer
pagerange: 100-118
id_number: 10.1007/978-3-319-07602-7_8
refereed: TRUE
isbn: 978-3-319-07601-0
book_title: Formal aspects of component software: 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers
official_url: http://dx.doi.org/10.1007/978-3-319-07602-7_8
citation:   Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Puviani, Mariachiara and Tiezzi, Francesco and Zambonelli, Franco  Formalising adaptation patterns for autonomic ensembles.   In:  Formal aspects of component software: 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers.   Lecture notes in computer science  (8348).  Springer, pp. 100-118.  ISBN 978-3-319-07601-0      (2014)