eprintid: 2086
rev_number: 6
eprint_status: archive
userid: 6
dir: disk0/00/00/20/86
datestamp: 2014-01-15 09:06:50
lastmod: 2014-01-15 09:06:50
status_changed: 2014-01-15 09:06:50
type: book_section
metadata_visibility: show
creators_name: De Nicola, Rocco
creators_name: Ferrari, GianLuigi
creators_name: Loreti, Michele
creators_name: Pugliese, Rosario
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
title: A Language-Based Approach to Autonomic Computing
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: Software Engineering; Programming Languages; Compilers; Interpreters; Operating Systems; Logics and Meanings of Programs; Software Engineering/Programming and Operating Systems; Information Systems Applications 

note: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
abstract: 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.
date: 2013
series: Lecture Notes in Computer Science
number: 7542
publisher: Springer 
pagerange: 25-48
id_number: 10.1007/978-3-642-35887-6_2
refereed: TRUE
isbn: 978-3-642-35887-6
book_title: Formal Methods for Components and Objects
official_url: http://dx.doi.org/10.1007/978-3-642-35887-6_2
citation:   De Nicola, Rocco and Ferrari, GianLuigi and Loreti, Michele and Pugliese, Rosario  A Language-Based Approach to Autonomic Computing.   In:  Formal Methods for Components and Objects.   Lecture Notes in Computer Science  (7542).  Springer , pp. 25-48.  ISBN 978-3-642-35887-6      (2013)