TY  - CHAP
A1  - Bruni, Roberto
A1  - Corradini, Andrea
A1  - Gadducci, Fabio
A1  - Lluch-Lafuente, Alberto
A1  - Vandin, Andrea
N2  - 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.
T2  - Rewriting Logic and Its Applications
SN  - 978-3-642-34004-8
T3  - Lecture Notes in Computer Science
TI  - Modelling and analyzing adaptive self-assembling strategies with Maude
UR  - http://dx.doi.org/10.1007/978-3-642-34005-5_7
Y1  - 2012///
AV  - public
N1  - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
SP  - 118
EP  - 138
KW  - Adaptation; self-assembly; swarms; ensembles; Maude 
PB  - Springer
ID  - eprints1048
ER  -