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 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.

Matteo Casadei, Luca Gardelli, Mirko Viroli (2007). Simulating emergent properties of coordination in Maude: the collective sort case. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 175(2), 59-80 [10.1016/j.entcs.2007.05.022].

Simulating emergent properties of coordination in Maude: the collective sort case

CASADEI, MATTEO;GARDELLI, LUCA;VIROLI, MIRKO
2007

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 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.
2007
Matteo Casadei, Luca Gardelli, Mirko Viroli (2007). Simulating emergent properties of coordination in Maude: the collective sort case. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 175(2), 59-80 [10.1016/j.entcs.2007.05.022].
Matteo Casadei; Luca Gardelli; Mirko Viroli
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/45673
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 14
  • ???jsp.display-item.citation.isi??? ND
social impact