TY  - JOUR
A1  - Bruni, Roberto
A1  - Corradini, Andrea
A1  - Gadducci, Fabio
A1  - Lluch-Lafuente, Alberto
A1  - Vandin, Andrea
Y1  - 2015///
SP  - 75
SN  - 0167-6423
EP  - 94
PB  - Elsevier
VL  - 99
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, validate and analyse a prominent example of adaptive system: robot swarms equipped with self-assembly strategies. The analysis exploits the statistical model checker PVeStA.
JF  - Science of Computer Programming
UR  - http://www.sciencedirect.com/science/article/pii/S0167642313003389
ID  - eprints2056
TI  - Modelling and analyzing adaptive self-assembling strategies with Maude
AV  - public
ER  -