2014 | OriginalPaper | Buchkapitel
Reasoning (on) Service Component Ensembles in Rewriting Logic
verfasst von : Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing
Erschienen in: Specification, Algebra, and Software
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.