@incollection{eprints3491,
       booktitle = {Rewriting Logic and Its Applications},
          author = {Roberto Bruni and Andrea Corradini and Fabio Gadducci and Alberto Lluch Lafuente and Andrea Vandin},
            note = {Proceedings of the 9th International Workshop, WRLA 2012, Tallinn, Estonia, March 24-25, 2012},
       publisher = {Springer Berlin Heidelberg},
            year = {2012},
          series = {Lecture Notes in Computer Science},
           title = {Modelling and Analyzing Adaptive Self-assembly Strategies with Maude},
           pages = {118--138},
          number = {7571},
         address = {Berlin, Heidelberg},
        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.},
             url = {http://eprints.imtlucca.it/3491/},
        keywords = {Adaptation; self-assembly; swarms; ensembles; Maude}
}