Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Modelling and analyzing adaptive self-assembling strategies with Maude. Science of Computer Programming, 99. pp. 75-94. ISSN 0167-6423 (2015)
This is the latest version of this item.
|
PDF
Download (3MB) | Preview |
|
|
PDF
Download (183kB) | Preview |
|
|
PDF
Download (2MB) | Preview |
|
|
PDF
Download (2MB) | Preview |
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, validate and analyse a prominent example of adaptive system: robot swarms equipped with self-assembly strategies. The analysis exploits the statistical model checker PVeStA.
| Item Type: | Article |
|---|---|
| Identification Number: | https://doi.org/10.1016/j.scico.2013.11.043 |
| Projects: | European Integrated Project 257414 ASCENS |
| Funders: | European Integrated Project 257414 ASCENS |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Users 30 not found. |
| Date Deposited: | 12 Dec 2013 13:11 |
| Last Modified: | 13 Jul 2016 10:29 |
| URI: | http://eprints.imtlucca.it/id/eprint/2056 |
Available Versions of this Item
-
Modelling and analyzing adaptive self-assembling strategies with Maude. (deposited 18 Mar 2013 07:52)
- Modelling and analyzing adaptive self-assembling strategies with Maude. (deposited 12 Dec 2013 13:11) [Currently Displayed]
Actions (login required)
 |
Edit Item |
