eprintid: 3065
rev_number: 9
eprint_status: archive
userid: 69
dir: disk0/00/00/30/65
datestamp: 2016-02-12 13:11:53
lastmod: 2016-02-12 13:11:53
status_changed: 2016-02-12 13:11:53
type: book_section
metadata_visibility: show
creators_name: De Nicola, Rocco
creators_name: Latella, Diego
creators_name: Lluch Lafuente, Alberto
creators_name: Loreti, Michele
creators_name: Margheri, Andrea
creators_name: Massink, Mieke
creators_name: Morichetta, Andrea
creators_name: Pugliese, Rosario
creators_name: Tiezzi, Francesco
creators_name: Vandin, Andrea
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: andrea.vandin@imtlucca.it
title: The SCEL Language: Design, Implementation, Verification
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: Autonomic computing; Programming languages; Adaptation policies; Formal methods; Verification
abstract: SCEL (Service Component Ensemble Language) is a new language specifically designed to rigorously model and program autonomic components and their interaction, while supporting formal reasoning on their behaviors. SCEL brings together various programming abstractions that allow one to directly represent aggregations, behaviors and knowledge according to specific policies. It also naturally supports programming interaction, self-awareness, context-awareness, and adaptation. The solid semantic grounds of the language is exploited for developing logics, tools and methodologies for formal reasoning on system behavior to establish qualitative and quantitative properties of both the individual components and the overall systems.
date: 2015
date_type: published
series: Lecture Notes in Computer Science
number: 8998
publisher: Springer
pagerange: 3-71
pages: 68
id_number: 10.1007/978-3-319-16310-9_13
refereed: TRUE
isbn: 978-3-319-16309-3
book_title: Software Engineering for Collective Autonomic Systems. The ASCENS Approach
official_url: http://link.springer.com/chapter/10.1007%2F978-3-319-16310-9_1
projects: IP 257414 ASCENS
projects: PRIN 2010LHT4KM CINA
citation:   De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea  The SCEL Language: Design, Implementation, Verification.   In:  Software Engineering for Collective Autonomic Systems. The ASCENS Approach.   Lecture Notes in Computer Science  (8998).  Springer, pp. 3-71.  ISBN 978-3-319-16309-3      (2015)