TY  - CHAP
Y1  - 2013///
A1  - De Nicola, Rocco
A1  - Ferrari, GianLuigi
A1  - Loreti, Michele
A1  - Pugliese, Rosario
UR  - http://dx.doi.org/10.1007/978-3-642-35887-6_2
KW  - Software Engineering; Programming Languages; Compilers; Interpreters; Operating Systems; Logics and Meanings of Programs; Software Engineering/Programming and Operating Systems; Information Systems Applications 

AV  - none
N1  - 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
T3  - Lecture Notes in Computer Science
SP  - 25
TI  - A Language-Based Approach to Autonomic Computing
PB  - Springer 
T2  - Formal Methods for Components and Objects
SN  - 978-3-642-35887-6
EP  - 48
ID  - eprints2086
N2  - SCEL is a new language specifically designed to model autonomic components and their interaction. It brings together various programming abstractions that permit to directly represent knowledge, behaviors and aggregations according to specific policies. It also supports naturally programming self-awareness, context-awareness, and adaptation. In this paper, we first present design principles, syntax and operational semantics of SCEL. Then, we show how a dialect can be defined by appropriately instantiating the features of the language we left open to deal with different application domains and use this dialect to model a simple, yet illustrative, example application. Finally, we demonstrate that adaptation can be naturally expressed in SCEL.
ER  -