Modelling and analyzing adaptive self-assembling strategies with Maude

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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.
Original languageEnglish
Title of host publicationRewriting Logic and Its Applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
PublisherSpringer Berlin Heidelberg
Publication date2012
Pages118-138
ISBN (Print)978-3-642-34004-8
ISBN (Electronic)978-3-642-34005-5
DOIs
Publication statusPublished - 2012
Externally publishedYes
Event9th International Workshop on Rewriting Logic and its Applications - Tallinn, Estonia
Duration: 24 Mar 201225 Mar 2012
Conference number: 9

Conference

Conference9th International Workshop on Rewriting Logic and its Applications
Number9
Country/TerritoryEstonia
CityTallinn
Period24/03/201225/03/2012
SeriesLecture Notes in Computer Science
Volume7571
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Modelling and analyzing adaptive self-assembling strategies with Maude'. Together they form a unique fingerprint.

Cite this