<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Modelling and analyzing adaptive self-assembling strategies with Maude"^^ . "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."^^ . "2012" . . "7571" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . "Andrea"^^ . "Vandin"^^ . "Andrea Vandin"^^ . . "Roberto"^^ . "Bruni"^^ . "Roberto Bruni"^^ . . "Fabio"^^ . "Gadducci"^^ . "Fabio Gadducci"^^ . . "Andrea"^^ . "Corradini"^^ . "Andrea Corradini"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . . . . . "Modelling and analyzing adaptive self-assembling strategies with Maude (PDF)"^^ . . . . . "Bruni_Corradini_Gadducci_Lluch_Vandin_2012.pdf"^^ . . . "Modelling and analyzing adaptive self-assembling strategies with Maude (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . . "Modelling and analyzing adaptive self-assembling strategies with Maude (Image (PNG))"^^ . . . . . . "lightbox.jpg"^^ . . . "Modelling and analyzing adaptive self-assembling strategies with Maude (Image (PNG))"^^ . . . . . . "preview.jpg"^^ . . . "Modelling and analyzing adaptive self-assembling strategies with Maude (Image (PNG))"^^ . . . . . . "medium.jpg"^^ . . . "Modelling and analyzing adaptive self-assembling strategies with Maude (Image (PNG))"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #1048 \n\nModelling and analyzing adaptive self-assembling strategies with Maude\n\n" . "text/html" . . . "QA76 Computer software"@en . .