The SCEL Language: Design, Implementation, Verification

Rocco x Rocco De Nicola, Diego Latella, Alberto Lluch Lafuente, Michele Loreti, Andrea Margheri Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

349 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationSoftware Engineering for Collective Autonomic Systems : The ASCENS Approach
PublisherSpringer
Publication date2015
Pages3-71
ISBN (Print)978-3-319-16309-3
ISBN (Electronic)978-3-319-16310-9
DOIs
Publication statusPublished - 2015
SeriesLecture Notes in Computer Science
Volume8998
ISSN0302-9743

Keywords

  • Autonomic computing
  • Programming languages
  • Adaptation policies
  • Formal methods
  • Verification

Cite this

Rocco De Nicola, R. X., Latella, D., Lluch Lafuente, A., Loreti, M., Margheri, A. M., Massink, M., Morichetta, A., Pugliese, R., Tiezzi, F., & Vandin, A. (2015). The SCEL Language: Design, Implementation, Verification. In Software Engineering for Collective Autonomic Systems: The ASCENS Approach (pp. 3-71). Springer. Lecture Notes in Computer Science, Vol.. 8998 https://doi.org/10.1007/978-3-319-16310-9_1