eprintid: 2117
rev_number: 8
eprint_status: archive
userid: 6
dir: disk0/00/00/21/17
datestamp: 2014-01-24 11:55:50
lastmod: 2015-03-03 09:34:45
status_changed: 2014-01-24 11:55:50
type: article
metadata_visibility: show
creators_name: De Nicola, Rocco
creators_name: Loreti, Michele
creators_name: Pugliese, Rosario
creators_name: Tiezzi, Francesco
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
title: A formal approach to autonomic systems programming: the SCEL Language 
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Autonomic computing, Programming languages, Formal methods
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
date: 2014-07
publication: ACM Transactions on Autonomous and Adaptive Systems
volume: 9
number: 2
publisher: ACM
pagerange: 1-29
id_number: 10.1145/2619998
refereed: TRUE
issn: 1556-4665
official_url: http://dl.acm.org/citation.cfm?id=2619998
projects: This work has been partially supported by the EU projects ASCENS (257414) and QUANTICOL (600708) and by the MIUR PRIN project CINA (2010LHT4KM).
citation:   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)  
document_url: http://eprints.imtlucca.it/2117/1/SCEL%40TAAS.pdf