Publications » CollectivesortFoclasa06

Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case

Matteo Casadei, Luca Gardelli, Mirko Viroli
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
5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), pages 57-75, 31 August 2006.
Carlos Canal, Mirko Viroli (eds.), CONCUR 2006, Bonn, Germany
Proceedings
@inproceedings{collectivesort-foclasa06,
	Address = {CONCUR 2006, Bonn, Germany},
	Author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
	Booktitle = {5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06)},
	Editor = {Canal, Carlos and Viroli, Mirko},
	Keywords = {Stochastic Transition System, Self-Organization, Simulation, Coordination, Collective Sort},
	Month = {31~} # aug,
	Note = {Proceedings},
	Pages = {57--75},
	Title = {Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case},
	Url = {http://foclasa06.lcc.uma.es/},
	Year = 2006}