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

Last modified by Andrea Omicini on 01/05/2021 16:48

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.

Electronic Notes in Theoretical Computer Science 97, pages 97-124, 22 July 2004.
Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel (eds.), Elsevier Science B.V.
2nd International Workshop "Foundations of Coordination Languages and Software Architecture" (FOCLASA 2003), Marseille, France, 2 September 2003. Proceedings
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}


Publication Data

2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna