TY  - CHAP
EP  - 28
T2  - Formal Aspects of Component Software
N1  - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
ID  - eprints2625
SP  - 24
N2  - Software-intensive cyber-physical systems have to deal with massive numbers of components, featuring complex interactions among components and with humans and other systems. Often, they are designed to operate in open and non-deterministic environments, and to dynamically adapt to new requirements, technologies and external conditions. This class of systems has been named ensembles and new engineering techniques are needed to address the challenges of developing, integrating, and deploying them. In the paper, we briefly introduce SCEL (Software Component Ensemble Language), a kernel language that takes a holistic approach to programming autonomic computing systems and aims at providing programmers with a complete set of linguistic abstractions for programming the behavior of autonomic components and the formation of autonomic components ensembles, and for controlling the interaction among different components.
T3  - Lecture Notes in Computer Science
A1  - De Nicola, Rocco
SN  - 978-3-319-15317-9
PB  - Springer
UR  - http://dx.doi.org/10.1007/978-3-319-15317-9_2
AV  - none
TI  - A formal approach to autonomic systems programming: the SCEL language
Y1  - 2015/01//
ER  -