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


Ronaldo Menezes, Andrea Omicini, Mirko Viroli

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

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.

 @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

Journals & Series

Publication

— authors

Ronaldo Menezes, Andrea Omicini, Mirko Viroli

— editors

Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel

— status

published

— sort

paper in proceedings

Venue

— volume

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

— series

Electronic Notes in Theoretical Computer Science

— volume

97

— pages

97-124

— publication date

22 July 2004

URLs

original page

Identifiers

— 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-2022 APICe@DISI Research Group - PRIVACY