APICe » Pubblicazioni » BravettiCoordination2004

Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Linda tuple spaces are flat and unstructured, in the sense that they do not allow for expressing preferences of tuples; for example, we could be interested in indicating tuples that should be returned more frequently w.r.t. other ones, or even tuples with a low relevance that should be taken under consideration only if there is no tuple with a higher importance. In this paper we investigate, in a process algebraic setting, how probabilities and priorities can be introduced in the Linda coordination model in order to support a more sophisticated data retrieval mechanism. As far as probabilities are concerned, we show that the Linda pattern-matching data retrieval makes it necessary to deal with weights instead of just pure probabilities, as instead can be done in standard process algebras. Regarding priorities, we present two possible ways for adding them to Linda; in the first one the order of priorities is statically fixed, in the second one it is dynamically instantiated when a data-retrieval operation is executed.
Coordination Models and Languages, LNCS, pp. 55-70, 2004.
Rocco De Nicola, Gian Luigi Ferrari, Greg Meredith (a cura di), Springer
6th International Conference (COORDINATION 2004), Pisa, Italy, February 24-27, 2004, Proceedings
@inproceedings{bravetti-coordination2004,
	Author = {Bravetti, Mario and Gorrieri, Roberto and Lucchi, Roberto and Zavattaro, Gianluigi},
	Booktitle = {Coordination Models and Languages},
	Doi = {10.1007/978-3-540-24634-3_7},
	Editor = {De Nicola, Rocco and Ferrari, Gian Luigi and Meredith, Greg},
	Isbn = {3-540-21044-X},
	Location = {Pisa, Italy},
	Note = {6th International Conference (COORDINATION 2004), Pisa, Italy, February 24-27, 2004, Proceedings},
	Pages = {55--70},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {Probabilistic and Prioritized Data Retrieval in the {L}inda Coordination Model},
	Year = 2004}