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

@talk{collectivesortfoclasa2006,
    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 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 develop 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 col lective sorting, where autonomous agents move tuples across different tuple spaces according to local criteria, and resulting in the emergence of the complete clustering property.},
    apice = {CollectivesortFoclasa2006},
    author = {Casadei, Matteo and Luca Gardelli and Viroli, Mirko},
    date = {2006-08-31},
    howpublished = {FOCLASA 2006: satellite workshop of the 17th International Conference on Concurrency Theory (CONCUR 2006)},
    language = {en},
    month = aug,
    sort = {talk},
    speaker = {Casadei, Matteo},
    title = {Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case},
    type = {Talk},
    url = {http://foclasa06.lcc.uma.es/},
    year = 2006
}