On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study


Ronaldo Menezes, Andrea Omicini, Mirko Viroli

LogOp is a coordination model extending Linda by allowing a single coordination operation to dynamically address a multiplicity of possibly distributed tuple spaces. The design of the LogOp raises relevant issues that are of general interest in the fields of coordination and distributed systems engineering. In particular, the design of an infrastructure supporting the enactment of coordination laws involving a multiplicity of physically distributed tuple spaces demands a careful treatment of the aspects related to synchrony, atomicity, locality of interactions, and global interpretation of coordination rules.
In this paper we elaborate on these general issues, starting from the study of the semantics of LogOp. First of all, the LogOp coordination model is introduced as an extension of Linda. Then, two different semantics, both conforming to the LogOp informal specification, are formally described and compared. Finally, the limitations of the traditional approach to the formal characterisation of coordination (coordination as a language) are pointed out, and addressed through a different approach (coordination as a service) whose benefits are illustrated by suitably re-formulating LogOp semantics. On the one hand, this provides crucial hints on how the LogOp coordination model could be deployed as an interactive service provided by a coordination infrastructure for distributed systems. On the other hand, the above results allow some general aspects of coordination in open and distributed systems to be clearly pointed out and adequately discussed.

Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Electronic Notes in Theoretical Computer Science 97, pp. 97-124, 22 July 2004.
Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel (a cura di), Elsevier Science B.V..
2nd International Workshop "Foundations of Coordination Languages and Software Architecture" (FOCLASA 2003), Marseille, France, 2 September 2003. Proceedings

@article{logop-entcs97,
Author = {Menezes, Ronaldo and Omicini, Andrea and Viroli, Mirko},
Doi = {10.1016/j.entcs.2004.04.033},
Editor = {Brogi, Antonio and Jacquet, Jean-Marie and Pimentel, Ernesto},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Month = {22~} # jul,
Note = {2nd International Workshop ``Foundations of Coordination Languages and Software Architecture'' (FOCLASA 2003), Marseille, France, 2~} # sep # {~2003. Proceedings},
Pages = {97--124},
Publisher = {Elsevier Science B.V.},
ScopusId = {2-s2.0-18944385606},
Title = {On the Semantics of Coordination Models for Distributed Systems: The {{\sc LogOp}} Case Study},
Url = {http://www.sciencedirect.com/science/article/pii/S157106610405042X},
Volume = 97,
Year = 2004}

Riviste & collane

Pubblicazione

— autori/autrici

Ronaldo Menezes, Andrea Omicini, Mirko Viroli

— a cura di

Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003

— collana

Electronic Notes in Theoretical Computer Science 97

— data di pubblicazione

22 July 2004

— pagine

97-124

— collana

Electronic Notes in Theoretical Computer Science 97

— data di pubblicazione

22 July 2004

URL & ID

pagina originale

— DOI

10.1016/j.entcs.2004.04.033

— IRIS

11585/1799

— Scopus

2-s2.0-18944385606

— print ISSN

1571-0661

BibTeX

— BibTeX ID
logop-entcs97
— BibTeX category
article

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