APICe » Publications » Tuple-based Coordination of Stochastic Systems with Uniform Primitives

Tuple-based Coordination of Stochastic Systems with Uniform Primitives

Stefano Mariani, Andrea Omicini
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, as well as their impact on system predictability.

Keywords: tuple-based coordination, uniform primitives, stochastic systems, coordination mechanisms for self-organisation, formal models
7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, September 2013, Philadelphia, PA, USA
@inproceedings{uniform-saso2013,
	Address = {Philadelphia, PA, USA},
	Author = {Mariani, Stefano and Omicini, Andrea},
	Booktitle = {7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems},
	Keywords = {tuple-based coordination, uniform primitives, stochastic systems, coordination mechanisms for self-organisation, formal models},
	Month = sep,
	Title = {Tuple-based Coordination of Stochastic Systems with Uniform Primitives},
	Year = 2013}