De Nicola, Rocco and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco
A formal approach to autonomic systems programming: the SCEL Language.
ACM Transactions on Autonomous and Adaptive Systems, 9 (2).
pp. 1-29.
ISSN 1556-4665
(2014)
Abstract
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
Actions (login required)
 |
Edit Item |
