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 and their impact on system predictability.
Keywords: Stochastic systems; Tuple-based coordination; Uniform primitives; Non-determinism
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), CEUR Workshop Proceedings 1099, pages 8-15, 2-3 December 2013.
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Alfredo Garro (eds.), Sun SITE Central Europe, RWTH Aachen University, Turin, Italy
XIV Workshop (WOA 2013). Workshop Notes
@inproceedings{uniform-woa2013,
	Address = {Turin, Italy},
	Author = {Mariani, Stefano and Omicini, Andrea},
	Booktitle = {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)},
	Editor = {Baldoni, Matteo and Baroglio, Cristina and Bergenti, Federico and Garro, Alfredo},
	Issn = {1613-0073},
	Keywords = {Stochastic systems; Tuple-based coordination; Uniform primitives; Non-determinism},
	Month = {2--3~} # dec,
	Note = {XIV Workshop (WOA 2013). Workshop Notes},
	Pages = {8--15} ,
	Publisher = {Sun SITE Central Europe, RWTH Aachen University},
	ScopusId = {2-s2.0-84892634950},
	Series = {CEUR Workshop Proceedings},
	Title = {Tuple-based Coordination of Stochastic Systems with Uniform Primitives},
	Url = {http://ceur-ws.org/Vol-1099/paper4.pdf},
	Volume = 1099, 
	Year = 2013}