oai:pumaoai.isti.cnr.it:cnr.isti/cnr.isti/2015-A1-006 2015-03-24 openaire

The SCEL language: design, implementation, verification De Nicola, Rocco Latella, Diego Lluch Lafuente, Alberto Loreti, Michele Margheri, Andrea Massink, Mieke Morichetta, Andrea Pugliese, Rosario Tiezzi, Francesco Vandin, Andrea Calculi for Autonomic Computing Programming languages Adaptation policies Formal methods Verification info:eu-repo/classification/acm/H.1 Models and Principles info:eu-repo/classification/acm/F.4 Mathematical Logic and Formal Languages info:eu-repo/classification/msc/68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) info:eu-repo/classification/msc/68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 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. Springer info:eu-repo/grantAgreement/EC/FP7/288750/EU/Autonomic Service-Component Ensembles - Enlarged EU/ASCENS-ENLARGED EU 2015 info:eu-repo/semantics/bookPart http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2015-A1-006 en info:eu-repo/semantics/altIdentifier/url/http://link.springer.com/chapter/10.1007/978-3-319-16310-9_1 info:eu-repo/semantics/altIdentifier/isbn/978-3-319-16309-3 (print) 978-3-319-16310-9 (online) info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-16310-9_1 application/pdf info:eu-repo/semantics/restrictedAccess