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. In: Rewriting Logic and Its Applications. Lecture Notes in Computer Science (7571). Springer, pp. 118-138. ISBN 978-3-642-34004-8 (2012)

Preview

PDF - Draft Version Download (1MB) | 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 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.

Item Type:	Book Section
Identification Number:	https://doi.org/10.1007/978-3-642-34005-5_7
Additional Information:	9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Projects:	Research supported by the European Integrated Project 257414 ASCENS
Uncontrolled Keywords:	Adaptation; self-assembly; swarms; ensembles; Maude
Subjects:	Q Science > QA Mathematics > QA76 Computer software
Research Area:	Computer Science and Applications
Depositing User:	Ms T. Iannizzi
Date Deposited:	22 Dec 2011 09:22
Last Modified:	13 Jul 2016 10:49
URI:	http://eprints.imtlucca.it/id/eprint/1048

Actions (login required)

Edit Item