APICe » Publications » Tuple-based Coordination of Stochastic Systems with Uniform Primitives: Formal Semantics & Expressive Power

Tuple-based Coordination of Stochastic Systems with Uniform Primitives: Formal Semantics & Expressive Power

Stefano Mariani, Andrea Omicini
In order to provide the expressiveness required for the coordination of complex computational systems – such as pervasive and self-organising ones –, tuple-based coordination models need to be enriched with suitable probabilistic mechanisms. To this end, we explicitly introduce uniform primitives as a probabilistic specialisation of standard Linda coordination primitives, replacing don’t know non-determinism with uniform distribution. In this paper we define their semantics, discuss their expressiveness and impact on system predictability, and compare them with other probabilistic approaches to tuple-based coordination.
Keywords: Tuple-based coordination models, stochastic coordination, self-organising systems, formal models, expressiveness
15th International Conference on Coordination Models and Languages (Coordination 2013), June 2013, Coimbra, Portugal
@inproceedings{uniformprimitives-coordination2013,
	Address = {Coimbra, Portugal},
	Author = {Mariani, Stefano and Omicini, Andrea},
	Booktitle = {15th International Conference on Coordination Models and Languages (Coordination 2013)},
	Keywords = {Tuple-based coordination models, stochastic coordination, self-organising systems, formal models, expressiveness},
	Month = jun,
	Title = {Tuple-based Coordination of Stochastic Systems with Uniform Primitives: Formal Semantics \& Expressive Power},
	Year = 2013}