Tuple-based Coordination of Stochastic Systems with Uniform Primitives

   page       BibTeX_logo.png   
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Alfredo Garro (eds.)
WOA 2013 – From Objects to Agents. Proceedings of the 14th Workshop “From Objects to Agents”, co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), pages 8–15
CEUR Workshop Proceedings 1099
Sun SITE Central Europe, RWTH Aachen University, Turin, Italy
December 2013

Complex computational systems — such as pervasive, adaptive, and self-organising ones — typically rely on simple yet expressive coordination mechanisms: this is why coordination models and languages can be exploited as the sources of the essential abstractions and mechanisms to build such systems. While the features of tuple-based models make them well suited for complex system coordination, they lack the probabilistic mechanisms for modelling the stochastic behaviours typically required by adaptivity and self-organisation.
To this end, in this paper we explicitly introduce uniform primitives as a probabilistic specialisation of standard tuple-based coordination primitives, replacing don’t know non-determinism with uniform distribution. We define their semantics and discuss their expressiveness and their impact on system predictability.

keywordsStochastic systems; Tuple-based coordination; Uniform primitives; Non-determinism
origin event
journal or series
book CEUR Workshop Proceedings (CEUR-WS.org)
works as
reference publication for talk
page_white_powerpointTuple-based Coordination of Stochastic Systems with Uniform Primitives (WOA 2013, 02/12/2013) — Andrea Omicini (Andrea Omicini, Stefano Mariani)