@Article{BCGLV:SCP14,
   status = {public},
   task = {T2.1},
   doi = {10.1016/j.scico.2013.11.043},
   year = {2015},
   invited = {no},
   volume = {99},
   main = {no},
   issn = {0167-6423},
   title = {{Modelling and analyzing adaptive self-assembly strategies with Maude}},
   author = {Roberto Bruni and Andrea Corradini and Fabio Gadducci and Alberto Lluch Lafuente and Andrea Vandin},
   period = {year4},
   journal = {Science of Computer Programming},
   abstract = {Building adaptive systems with predictable emergent behavior is a difficult 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 and analysis techniques.
Our white-box conceptual approach to adaptive systems based on the notion of control data promotes a clear distinction between the application and the adaptation logic.
In this paper we propose a concrete instance of our approach based on
(i) a neat identification of control data;
(ii) a hierarchical architecture that provides the basic structure to separate the adaptation and application logics;
(iii) computational reflection as the main mechanism to realize the adaptation logic;
(iv) probabilistic rule-based specifications and quantitative verification techniques to specify and analyze the adaptation logic.
We show that our solution can be naturally realized in Maude, a Rewriting
Logic based framework, and illustrate our approach by specifying, validating and analysing a prominent example of adaptive systems: robot swarms equipped with self-assembly strategies.},
   partner = {UNIPI,IMT},
   wp = {WP2},
   pages = {75--94}
}