Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case |
| |
Authors: | Matteo Casadei Luca Gardelli Mirko Viroli |
| |
Affiliation: | aDEIS, Alma Mater Studiorum—Università di Bologna, via Venezia 52, 47023 Cesena, Italy |
| |
Abstract: | Recent coordination languages and models are moving towards the application of techniques coming from the research context of complex systems: adaptivity and self-organization 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 a valuable tool both for analysis and design. Accordingly, in this work we focused on modelling and simulating emergent properties of coordination techniques.We first develop a framework acting as a general-purpose engine for simulating stochastic transition systems, built as a library for the Maude term rewriting system. We then evaluate this tool to a coordination problem called collective sort, where autonomous agents move tuples across different tuple spaces according to local criteria, and resulting in the emergence of the complete clustering property. |
| |
Keywords: | Stochastic transition system self-organization simulation coordination collective sort |
本文献已被 ScienceDirect 等数据库收录! |
|