Book chapter
The SCEL Language: Design, Implementation, Verification
IMT Institute for Advanced Studies Lucca1
National Research Council of Italy2
Department of Applied Mathematics and Computer Science, Technical University of Denmark3
Language-Based Technology, Department of Applied Mathematics and Computer Science, Technical University of Denmark4
University of Florence5
University of Southampton6
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.
| Language: | English |
|---|---|
| Publisher: | Springer |
| Year: | 2015 |
| Pages: | 3-71 |
| Series: | Lecture Notes in Computer Science |
| Journal subtitle: | Ascens Approach |
| ISBN: | 3319163094 , 3319163108 , 9783319163093 and 9783319163109 |
| ISSN: | 16113349 and 03029743 |
| Types: | Book chapter |
| DOI: | 10.1007/978-3-319-16310-9_1 |
| ORCIDs: | Lluch Lafuente, Alberto |
