Book chapter ยท Conference paper
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude
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.
Language: | English |
---|---|
Publisher: | Springer Berlin Heidelberg |
Year: | 2012 |
Pages: | 118-138 |
Proceedings: | International Workshop on Rewriting Logic and its Applications |
ISBN: | 3642340040 , 3642340059 , 9783642340048 and 9783642340055 |
ISSN: | 16113349 and 03029743 |
Types: | Book chapter and Conference paper |
DOI: | 10.1007/978-3-642-34005-5_7 |