PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
De Nicola R., Latella D., Lluch Lafuente A., Loreti M., Margheri A., Massink M., Morichetta A., Pugliese R., Tiezzi F., Vandin A. The SCEL language: design, implementation, verification. Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (eds.). (Lecture Notes in Computer Science, vol. 8998). Berlin: Springer, 2015.
 
 
Abstract
(English)
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.
URL: http://link.springer.com/chapter/10.1007/978-3-319-16310-9_1
DOI: 10.1007/978-3-319-16310-9_1
Subject Calculi for Autonomic Computing
Programming languages
Adaptation policies
Formal methods
Verification
H.1 Models and Principles
F.4 Mathematical Logic and Formal Languages
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional