Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro

In this paper we present an integration of PLinda, a probabilistic extension of Linda, and StoKlaim, a stochastic extension of KLAIM. In the resulting language, StoPKlaim, the execution time of coordination primitives is modeled by means of exponentially distributed random variables, as in StoKlaim, the choice of the primitive to be executed among conflicting ones is thus resolved by the race condition principle, and the choice of the tuple to be retrieved by a single input/read operation in case of multiple matching tuples is governed by the weight-based probabilistic access policy of PLinda. The language represents a natural development and integration of previous results of the SENSORIA Project in the area of probabilistic and time-stochastic extensions of Tuple Space based coordination languages. The formal operational semantics of StoPKlaim is presented and an example of modeling is provided.

Trustworthy Global Computing, Lecture Notes in Computer Science 5474, pages 52-68, 2009.
Christos Kaklamanis, Flemming Nielson (eds.), Springer-Verlag
@incollection{timedlinda-lncs5474,
Author = {Bravetti, Mario and Latella, Diego and Loreti, Michele and Massink, Mieke and Zavattaro, Gianluigi},
Booktitle = {Trustworthy Global Computing},
Doi = {10.1007/978-3-642-00945-7_4},
Editor = {Kaklamanis, Christos and Nielson, Flemming},
Isbn = {978-3-642-00944-0},
Pages = {52--68},
Publisher = {Springer-Verlag},
Series = {LNCS},
Title = {Combining Timed Coordination Primitives and Probabilistic Tuple Spaces},
Url = {http://www.springerlink.com/content/a2354m4703784v0m/},
Volume = 5474,
Year = 2009}

Tags:
    

Publication

Combining Timed Coordination Primitives and Probabilistic Tuple Spaces

— status

published  

— authors

Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro

— editors

Christos Kaklamanis, Flemming Nielson

URLs & IDs

original page
original PDF

— DOI

10.1007/978-3-642-00945-7_4

BibTeX

— BibTeX ID
timedLinda09
— BibTeX category
incollection

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