TY  - CHAP
TI  - Self-expression and Dynamic Attribute-Based Ensembles in SCEL
AV  - none
KW  - Self-expression; coordination patterns; ensemble computing
UR  - http://dx.doi.org/10.1007/978-3-662-45234-9_11
SN  - 978-3-662-45233-2
N2  - 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.
N1  - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
ID  - eprints2940
T2  - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
EP  - 163
Y1  - 2014///
A1  - Cabri, Giacomo
A1  - Capodieci, Nicola
A1  - Cesari, Luca
A1  - De Nicola, Rocco
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
A1  - Zambonelli, Franco
PB  - Springer
T3  - Lecture Notes in Computer Science
SP  - 147
ER  -