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
Electronic Notes in Theoretical Computer Science 175(2), pages 59-80, 175 pages, June 2007.
Carlos Canal, Mirko Viroli (eds.), Elsevier Science B.V.
5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), CONCUR'06, Bonn, Germany, 31 August 2006. Post-proceedings
@article{collectivesort-entcs175,
Author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
Doi = {10.1016/j.entcs.2007.03.006},
Editor = {Canal, Carlos and Viroli, Mirko},
Elsevier-Ref = {ENTCS1735},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Keywords = {Stochastic Transition System, Self-Organization, Simulation, Coordination, Collective Sort},
Month = jun,
Note = {5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), CONCUR'06, Bonn, Germany, 31~} # aug # {~2006. Post-proceedings},
Number = 2,
Pages = {59--80},
Publisher = {Elsevier Science B.V.},
Title = {Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case},
Volume = 175,
Year = 2007}

Tags:
    

Publication

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

— status

published  

— authors

Matteo Casadei, Luca Gardelli, Mirko Viroli

— editors

Carlos Canal, Mirko Viroli

URLs & IDs

— DOI

10.1016/j.entcs.2007.03.006

— print ISSN

1571-0661

BibTeX

— BibTeX ID
collectivesort-entcs175
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY