eprintid: 2940
rev_number: 6
eprint_status: archive
userid: 69
dir: disk0/00/00/29/40
datestamp: 2015-11-30 15:08:22
lastmod: 2015-11-30 15:08:22
status_changed: 2015-11-30 15:08:22
type: book_section
metadata_visibility: show
creators_name: Cabri, Giacomo
creators_name: Capodieci, Nicola
creators_name: Cesari, Luca
creators_name: De Nicola, Rocco
creators_name: Pugliese, Rosario
creators_name: Tiezzi, Francesco
creators_name: Zambonelli, Franco
creators_id: 
creators_id: 
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
title: Self-expression and Dynamic Attribute-Based Ensembles in SCEL
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: Self-expression; coordination patterns; ensemble computing
note: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
abstract: In the field of distributed autonomous computing the current trend is to develop cooperating computational entities enabled with enhanced self-* properties. The expression self-* indicates the possibility of a component inside an ensemble, i.e. a set of collaborative autonomic components, to self organize, heal (repair), optimize and configure with little or no human interaction. We focus on a self-* property called self-expression, defined as the ability to deploy run-time changes of the coordination pattern of the observed ensemble; the goal of the ensemble is to achieve adaptivity by meeting functional and non-functional requirements when specific tasks have to be completed. The purpose of this paper is to rigorously present the mechanisms involved whenever a change in the coordination pattern is needed, and the interactions that take place. To this aim, we use SCEL (Software Component Ensemble Language), a formal language for describing autonomic components and their interactions, featuring a highly dynamic and flexible way to form ensembles based on components’ attributes.
date: 2014
date_type: published
series: Lecture Notes in Computer Science
number: 8802
publisher: Springer
pagerange: 147-163
pages: 17
id_number: 10.1007/978-3-662-45234-9_11
refereed: TRUE
isbn: 978-3-662-45233-2
book_title: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
official_url: http://dx.doi.org/10.1007/978-3-662-45234-9_11
citation:   Cabri, Giacomo and Capodieci, Nicola and Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Tiezzi, Francesco and Zambonelli, Franco  Self-expression and Dynamic Attribute-Based Ensembles in SCEL.   In:  Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change.   Lecture Notes in Computer Science  (8802).  Springer, pp. 147-163.  ISBN 978-3-662-45233-2      (2014)