eprintid: 3491
rev_number: 10
eprint_status: archive
userid: 69
dir: disk0/00/00/34/91
datestamp: 2016-05-26 10:06:19
lastmod: 2016-05-26 10:06:19
status_changed: 2016-05-26 10:06:19
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: 
creators_id: andrea.vandin@imtlucca.it
title: Modelling and Analyzing Adaptive Self-assembly Strategies with Maude
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Adaptation; self-assembly; swarms; ensembles; Maude
note: Proceedings of the 9th International Workshop, WRLA 2012, Tallinn, Estonia, March 24-25, 2012
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 Berlin Heidelberg
place_of_pub: Berlin, Heidelberg
pagerange: 118-138
pages: 20
id_number: 10.1007/978-3-642-34005-5_7
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: 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-assembly Strategies with Maude.   In:  Rewriting Logic and Its Applications.   Lecture Notes in Computer Science  (7571).  Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 118-138.  ISBN 978-3-642-34004-8      (2012)  
document_url: http://eprints.imtlucca.it/3491/1/wrla2012.pdf