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 nature-inspired, 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 – first informally, then formally –, discuss their expressiveness and impact on system predictability, describe their implementation and finally compare them with other probabilistic approaches to tuple-based coordination.

(keywords) Tuple-based coordination models, stochastic coordination, self-organising systems, formal models, expressiveness
28th ACM Symposium on Applied Computing (SAC 2013), September 2012, Coimbra, Portugal
@inproceedings{uniformprimitives-sac2013,
Address = {Coimbra, Portugal},
Author = {Mariani, Stefano and Omicini, Andrea},
Booktitle = {28th ACM Symposium on Applied Computing (SAC 2013)},
Keywords = {Tuple-based coordination models, stochastic coordination, self-organising systems, formal models, expressiveness},
Month = sep,
Title = {Tuple-based Coordination of Stochastic Systems with Uniform Primitives: Formal Semantics \& Expressive Power},
Year = 2012}

Tags:
    

Publication

— authors

Stefano Mariani, Andrea Omicini

— status

rejected

Venue

— volume

28th ACM Symposium on Applied Computing (SAC 2013)

— publication date

September 2012

BibTeX

— BibTeX ID
uniformprimitives-sac2013
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY