eprintid: 2180
rev_number: 7
eprint_status: archive
userid: 6
dir: disk0/00/00/21/80
datestamp: 2014-03-10 12:55:15
lastmod: 2016-02-12 13:15:43
status_changed: 2014-03-10 12:55:15
type: book_section
metadata_visibility: show
creators_name: Belzner, Lenz
creators_name: De Nicola, Rocco
creators_name: Vandin, Andrea
creators_name: Wirsing, Martin
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: andrea.vandin@imtlucca.it
creators_id: 
title: Reasoning (on) service component ensembles in rewriting logic
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: 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.
date: 2014
series: Lecture Notes in Computer Science
number: 8373
publisher: Springer Berlin Heidelberg
pagerange: 188-211
id_number: 10.1007/978-3-642-54624-2_10
refereed: TRUE
isbn: 978-3-642-54623-5
book_title: Specification, Algebra, and Software
official_url: http://dx.doi.org/10.1007/978-3-642-54624-2_10
projects: IP 257414 ASCENS
projects: PRIN 2010LHT4KM CINA
citation:   Belzner, Lenz and De Nicola, Rocco and Vandin, Andrea and Wirsing, Martin  Reasoning (on) service component ensembles in rewriting logic.   In:  Specification, Algebra, and Software.   Lecture Notes in Computer Science  (8373).  Springer Berlin Heidelberg, pp. 188-211.  ISBN 978-3-642-54623-5      (2014)