Logo eprints

The SCEL Language: Design, Implementation, Verification

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)

Full text not available from this repository.


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.

Item Type: Book Section
Identification Number: 10.1007/978-3-319-16310-9_13
Projects: IP 257414 ASCENS, PRIN 2010LHT4KM CINA
Uncontrolled Keywords: Autonomic computing; Programming languages; Adaptation policies; Formal methods; Verification
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Caterina Tangheroni
Date Deposited: 12 Feb 2016 13:11
Last Modified: 12 Feb 2016 13:11
URI: http://eprints.imtlucca.it/id/eprint/3065

Actions (login required)

Edit Item Edit Item