Reasoning (on) Service Component Ensembles in Rewriting Logic

Programming autonomic systems with massive number of heterogeneous components poses a number of challenges to language designers and software engineers and requires the integration of computational tools and reasoning tools. We present a general methodology to enrich SCEL, a recently introduced lang...

Full description

Saved in:
Bibliographic Details
Published inSpecification, Algebra, and Software Vol. 8373; pp. 188 - 211
Main Authors Belzner, Lenz, De Nicola, Rocco, Vandin, Andrea, Wirsing, Martin
Format Book Chapter
LanguageEnglish
Published Germany Springer Berlin / Heidelberg 2014
Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
Autonomic Computing
Operational Semantic
Policy Language
Proximity Sensor
Service Component
Online AccessGet full text

Cover

More Information
Summary:Programming autonomic systems with massive number of heterogeneous components poses a number of challenges to language designers and software engineers and requires the integration of computational tools and reasoning tools. We present a general methodology to enrich SCEL, a recently introduced language for programming systems with massive numbers of components, with reasoning capabilities that are guaranteed by external reasoners. We show how the methodology can be instantiated by considering the Maude implementation of SCEL and a specific reasoner, Pirlo, implemented in Maude as well. Moreover we show how the actual integration can benefit from the existing analytical tools of the Maude framework. In particular, we demonstrate our approach by considering a simple scenario consisting of a group of robots moving in an arena aiming at minimising the number of collisions.
Bibliography:Research supported by the European Integrated Project 257414 ASCENS and by the MIUR COFIN Project CINA.
ISBN:3642546234
9783642546235
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-54624-2_10