| Title |
Simulating Emergent Properties of Coordination in Maude: the Collective
Sorting Case |
| Authors |
Matteo Casadei, Luca Gardelli, Mirko Viroli |
| Type |
In Workshop Proceedings |
| Booktitle |
5th International Workshop on the Foundations of Coordination Languages
and Software Architectures (FOCLASA) |
| Editor |
Carlos Canal and Mirko Viroli |
| Address |
CONCUR 2006, Bonn, Germany |
| Publisher |
University of Malaga, Spain |
| Pages |
57--75 |
| Year |
2006 |
| Abstract |
Recent coordination languages and models are moving towards the application
of techniques coming from the research context of complex systems:
adaptivity and self-organisation are exploited in order to tackle
the openness, dynamism and unpredictability of today’s distributed
systems. In this area, systems are to be described using stochastic
models, and simulation is considered a valuable tool both for analysis
and design. Accordingly, in this work we focus on modelling and simulating
emergent properties of coordination techniques. We first describe
a framework acting as a general-purpose engine for simulating stochastic
transition system, built as a library for the Maude term rewriting
system. We then evaluate this tool to a coordination problem called
collective sorting, where autonomous agents move tuples across different
tuple spaces according to local criteria, and resulting in the emergence
of the complete clustering property. |
| |
|
