Modelling and analyzing adaptive self-assembling strategies with Maude

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

doi:10.1007/978-3-642-34005-5_7

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 proceeding › Article in proceedings › Research › peer-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 language	English
Title of host publication	Rewriting 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
Publisher	Springer Berlin Heidelberg
Publication date	2012
Pages	118-138
ISBN (Print)	978-3-642-34004-8
ISBN (Electronic)	978-3-642-34005-5
DOIs	https://doi.org/10.1007/978-3-642-34005-5_7
Publication status	Published - 2012
Externally published	Yes
Event	9th International Workshop on Rewriting Logic and its Applications - Tallinn, Estonia Duration: 24 Mar 2012 → 25 Mar 2012 Conference number: 9

Workshop

Workshop	9th International Workshop on Rewriting Logic and its Applications
Number	9
Country/Territory	Estonia
City	Tallinn
Period	24/03/2012 → 25/03/2012

Series	Lecture Notes in Computer Science
Volume	7571
ISSN	0302-9743

Access to Document

10.1007/978-3-642-34005-5_7

OpenUrl availability

Full text

Cite this

Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., & Vandin, A. (2012). Modelling and analyzing adaptive self-assembling strategies with Maude. In Rewriting 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 (pp. 118-138). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-34005-5_7

Bruni, Roberto ; Corradini, Andrea ; Gadducci, Fabio et al. / Modelling and analyzing adaptive self-assembling strategies with Maude. Rewriting 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. Springer Berlin Heidelberg, 2012. pp. 118-138 (Lecture Notes in Computer Science, Vol. 7571).

@inproceedings{9eadcef39f884559a0431ff310ebd0f4,

title = "Modelling and analyzing adaptive self-assembling strategies with Maude",

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.",

author = "Roberto Bruni and Andrea Corradini and Fabio Gadducci and {Lluch Lafuente}, Alberto and Andrea Vandin",

year = "2012",

doi = "10.1007/978-3-642-34005-5_7",

language = "English",

isbn = "978-3-642-34004-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer Berlin Heidelberg",

pages = "118--138",

booktitle = "Rewriting Logic and Its Applications",

note = "9th International Workshop on Rewriting Logic and its Applications, WRLA 2012 ; Conference date: 24-03-2012 Through 25-03-2012",

}

Bruni, R, Corradini, A, Gadducci, F, Lluch Lafuente, A & Vandin, A 2012, Modelling and analyzing adaptive self-assembling strategies with Maude. in Rewriting 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. Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 7571, pp. 118-138, 9th International Workshop on Rewriting Logic and its Applications, Tallinn, Estonia, 24/03/2012. https://doi.org/10.1007/978-3-642-34005-5_7

Modelling and analyzing adaptive self-assembling strategies with Maude. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio et al.
Rewriting 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. Springer Berlin Heidelberg, 2012. p. 118-138 (Lecture Notes in Computer Science, Vol. 7571).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Modelling and analyzing adaptive self-assembling strategies with Maude

AU - Bruni, Roberto

AU - Corradini, Andrea

AU - Gadducci, Fabio

AU - Lluch Lafuente, Alberto

AU - Vandin, Andrea

N1 - Conference code: 9

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-34005-5_7

DO - 10.1007/978-3-642-34005-5_7

M3 - Article in proceedings

SN - 978-3-642-34004-8

T3 - Lecture Notes in Computer Science

SP - 118

EP - 138

BT - Rewriting Logic and Its Applications

PB - Springer Berlin Heidelberg

T2 - 9th International Workshop on Rewriting Logic and its Applications

Y2 - 24 March 2012 through 25 March 2012

ER -

Bruni R, Corradini A, Gadducci F, Lluch Lafuente A , Vandin A. Modelling and analyzing adaptive self-assembling strategies with Maude. In Rewriting 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. Springer Berlin Heidelberg. 2012. p. 118-138. (Lecture Notes in Computer Science, Vol. 7571). doi: 10.1007/978-3-642-34005-5_7

Modelling and analyzing adaptive self-assembling strategies with Maude

Abstract

Workshop

Access to Document

OpenUrl availability

Fingerprint

Cite this