Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lafuente, Alberto Lluch and Vandin, Andrea Modelling and analyzing adaptive self-assembly strategies with Maude. Science of Computer Programming, 99. 75 - 94. ISSN 0167-6423 (2015)
Full text not available from this repository.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 analyzing a prominent example of adaptive systems: robot swarms equipped with self-assembly strategies.
| Item Type: | Article |
|---|---|
| Identification Number: | 10.1016/j.scico.2013.11.043 |
| Additional Information: | Selected Papers from the Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012) |
| Projects: | QUANTICOL |
| Uncontrolled Keywords: | Adaptation; Maude; Reflective Russian Dolls; Statistical model checking; PVeStA |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science T Technology > T Technology (General) |
| Research Area: | Computer Science and Applications |
| Depositing User: | Caterina Tangheroni |
| Date Deposited: | 12 Feb 2016 11:52 |
| Last Modified: | 12 Feb 2016 12:08 |
| URI: | http://eprints.imtlucca.it/id/eprint/3061 |
Actions (login required)
 |
Edit Item |
