relation: http://eprints.imtlucca.it/1048/
title: Modelling and analyzing adaptive self-assembling strategies with Maude
creator: Bruni, Roberto
creator: Corradini, Andrea
creator: Gadducci, Fabio
creator: Lluch-Lafuente, Alberto
creator: Vandin, Andrea
subject: QA76 Computer software
description: 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.
publisher: Springer
date: 2012
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/1048/1/Bruni_Corradini_Gadducci_Lluch_Vandin_2012.pdf
identifier:   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)  
relation: http://dx.doi.org/10.1007/978-3-642-34005-5_7
relation: 10.1007/978-3-642-34005-5_7