Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
-
- Other Formats (1)
-
Export as HyperText Markup Language (HTML)
-
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. |
Talks / Personal
Talks / Views
Home
— clouds
tags | speakers | authors
— per year
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014–1992
— per sort
talks | invited talks | seminars | lectures | tutorials | project presentations | informal talks | internal talks | panel presentations | PhD presentations | poster presentations | other talks
Talk
— speakers
— authors
Matteo Casadei, Luca Gardelli, Mirko Viroli
— sort
talk
— language
— context
FOCLASA 2006: satellite workshop of the 17th International Conference on Concurrency Theory (CONCUR 2006)
— when
31/08/2006
URLs