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, pages 55-70, 2004.
Rocco De Nicola, Gian Luigi Ferrari, Greg Meredith (eds.), 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}

Tags:
    

Publication

— authors

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

— editors

Rocco De Nicola, Gian Luigi Ferrari, Greg Meredith

— status

published

— sort

paper in proceedings

Venue

— volume

Coordination Models and Languages

— series

LNCS

— publication date

2004

— pages

55-70

— series

LNCS

— publication date

2004

URLs & IDs

— DOI

10.1007/978-3-540-24634-3_7

— print ISBN

3-540-21044-X

BibTeX

— BibTeX ID
bravetti-coordination2004
— BibTeX category
inproceedings

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