TY  - CHAP
Y1  - 2015///
A1  - De Nicola, Rocco
A1  - Latella, Diego
A1  - Lluch Lafuente, Alberto
A1  - Loreti, Michele
A1  - Margheri, Andrea
A1  - Massink, Mieke
A1  - Morichetta, Andrea
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
A1  - Vandin, Andrea
UR  - http://link.springer.com/chapter/10.1007%2F978-3-319-16310-9_1
PB  - Springer
T2  - Software Engineering for Collective Autonomic Systems. The ASCENS Approach
KW  - Autonomic computing; Programming languages; Adaptation policies; Formal methods; Verification
AV  - none
SN  - 978-3-319-16309-3
EP  - 71
ID  - eprints3065
N2  - SCEL (Service Component Ensemble Language) is a new language specifically designed to rigorously model and program autonomic components and their interaction, while supporting formal reasoning on their behaviors. SCEL brings together various programming abstractions that allow one to directly represent aggregations, behaviors and knowledge according to specific policies. It also naturally supports programming interaction, self-awareness, context-awareness, and adaptation. The solid semantic grounds of the language is exploited for developing logics, tools and methodologies for formal reasoning on system behavior to establish qualitative and quantitative properties of both the individual components and the overall systems.
T3  - Lecture Notes in Computer Science
TI  - The SCEL Language: Design, Implementation, Verification
SP  - 3
ER  -