Modelling and analyzing adaptive self-assembling strategies with Maude

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. ISSN 0167-6423 (Submitted)

Preview

PDF Download (3MB) | 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
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:	18 Mar 2013 07:52
Last Modified:	13 Jul 2016 10:30
URI:	http://eprints.imtlucca.it/id/eprint/1536

Available Versions of this Item

• Modelling and analyzing adaptive self-assembling strategies with Maude. (deposited 18 Mar 2013 07:52) [Currently Displayed]
  • Modelling and analyzing adaptive self-assembling strategies with Maude. (deposited 12 Dec 2013 13:11)

Actions (login required)

Edit Item