relation: http://eprints.imtlucca.it/2086/
title: A Language-Based Approach to Autonomic Computing
creator: De Nicola, Rocco
creator: Ferrari, GianLuigi
creator: Loreti, Michele
creator: Pugliese, Rosario
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer 
date: 2013
type: Book Section
type: PeerReviewed
identifier:   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)  
relation: http://dx.doi.org/10.1007/978-3-642-35887-6_2
relation: 10.1007/978-3-642-35887-6_2