TY  - JOUR
KW  - Autonomic computing
KW  -  Programming languages
KW  -  Formal methods
VL  - 9
Y1  - 2014/07//
UR  - http://dl.acm.org/citation.cfm?id=2619998
A1  - De Nicola, Rocco
A1  - Loreti, Michele
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
TI  - A formal approach to autonomic systems programming: the SCEL Language 
SP  - 1
AV  - public
IS  - 2
PB  - ACM
JF  - ACM Transactions on Autonomous and Adaptive Systems
N2  - The autonomic computing paradigm has been proposed to cope with size, complexity and dynamism of contemporary
software-intensive systems. The challenge for language designers is to devise appropriate abstractions
and linguistic primitives to deal with the large dimension of systems, and with their need to
adapt to the changes of the working environment and to the evolving requirements. We propose a set of
programming abstractions that permit to represent behaviors, knowledge and aggregations according to
specific policies, and to support programming context-awareness, self-awareness and adaptation. Based on
these abstractions, we define SCEL (Software Component Ensemble Language), a kernel language whose
solid semantic foundations lay also the basis for formal reasoning on autonomic systems behavior. To show
expressiveness and effectiveness of SCEL?s design, we present a Java implementation of the proposed abstractions
and show how it can be exploited for programming a robotics scenario that is used as a running
example for describing features and potentials of our approach
EP  - 29
ID  - eprints2117
SN  - 1556-4665
ER  -