eprintid: 1048
rev_number: 18
eprint_status: archive
userid: 6
dir: disk0/00/00/10/48
datestamp: 2011-12-22 09:22:41
lastmod: 2016-07-13 10:49:38
status_changed: 2012-10-15 08:39:50
type: book_section
metadata_visibility: show
creators_name: Bruni, Roberto
creators_name: Corradini, Andrea
creators_name: Gadducci, Fabio
creators_name: Lluch-Lafuente, Alberto
creators_name: Vandin, Andrea
creators_id: 
creators_id: 
creators_id: 
creators_id: alberto.lluch@imtlucca.it
creators_id: andrea.vandin@imtlucca.it
title: Modelling and analyzing adaptive self-assembling strategies with Maude
ispublished: pub
subjects: QA76
divisions: CSA
full_text_status: public
monograph_type: working_paper
keywords: Adaptation; self-assembly; swarms; ensembles; Maude 
note: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
abstract: Building adaptive systems with predictable emergent behavior is a challenging task and it is becoming a critical need. The research community has accepted the challenge by introducing approaches of various nature: from software architectures, to programming paradigms, to analysis techniques. We recently proposed a conceptual framework for adaptation centered around the role of control data. In this paper we show that it can be naturally realized in a reflective logical language like Maude by using the Reflective Russian Dolls model. Moreover, we exploit this model to specify and analyse a prominent example of adaptive system: robot swarms equipped with obstacle-avoidance self-assembly strategies. The analysis exploits the statistical model checker PVesta.
date: 2012
date_type: published
series: Lecture Notes in Computer Science
number: 7571
publisher: Springer
pagerange: 118-138
pages: 20
id_number: 10.1007/978-3-642-34005-5_7
institution: IMT Institute for Advanced Studies Lucca
refereed: TRUE
isbn: 978-3-642-34004-8
book_title: Rewriting Logic and Its Applications
official_url: http://dx.doi.org/10.1007/978-3-642-34005-5_7
projects: Research supported by the European Integrated Project 257414 ASCENS
citation:   Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea  Modelling and analyzing adaptive self-assembling strategies with Maude.   In:  Rewriting Logic and Its Applications.   Lecture Notes in Computer Science  (7571).  Springer, pp. 118-138.  ISBN 978-3-642-34004-8      (2012)  
document_url: http://eprints.imtlucca.it/1048/1/Bruni_Corradini_Gadducci_Lluch_Vandin_2012.pdf