Skip to main content
SpringerLink
Log in
Book cover

International Conference on Coordination Languages and Models

COORDINATION 1996: Coordination Languages and Models pp 142–159Cite as

μ2Log: Towards remote coordination

  • Regular Papers
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1061))

Abstract

Modern computing is characterized, among others, by two major facts. On the one hand, methods are needed to master the ever growing complexity of information systems. On the other hand, distributed and open systems allow configurations to change dynamically and thus require tools to allow processes to cooperate, communicate and work in synergy.

A theoretical model μ 2Log, supported by an efficient implementation, is proposed to cope with these two problems. Following Linda, it offers tuple-based dataspaces as communication and coordination means and manipulates passive and active objects by the same kind of three basic primitives: tell, read, and get to respectively place, check the existence and remove an object. Our model supports multiple local dataspaces, multiple processes acting on these dataspaces as well as a distribution of these dataspaces and processes. Remote coordination is ensured by agents of some platforms granting access via aliases to other agents running on other platforms. As a result, a peculiar feature of our approach is that it neither requires a centralized server nor a centralized dataspace.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. K. De Bosschere and J.-M. Jacquet. Comparative Semantics of μLog. In D. Etiemble and J.-C. Syre, editors, Proceedings of the PARLE'92 Conference, volume 605 of Lecture Notes in Computer Science, pages 911–926, Paris, 1992. Springer-Verlag.

    Google Scholar 

  2. Antonio Brogi and Paolo Ciancarini. The Concurrent Language Shared Prolog. ACM Transactions on Programming Languages and Systems, 13(1):99–123, January 1991.

    Google Scholar 

  3. M. Carlsson, J. Widén, J. Andersson, S. Andersson, K. Boortz, H. Nilsson, and T. Sjöland. SICStus Prolog User's Manual. SICS technical report T91:11B, SICS, Kista, Sweden, 1991.

    Google Scholar 

  4. P. Ciancarini. Parallel Logic Programming using the Linda model of Computation. In Goos and Hartmanis, editors, Proceedings of Research Directions in High-Level Parallel Programming Languages. Springer Verlag, Mont Saint Michel, France, June 1991, pages 110–125.

    Google Scholar 

  5. P. Ciancarini. Distributed programming with logic tuple spaces. Technical report ublcs-93-7, University of Bologna, April 1993.

    Google Scholar 

  6. D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80–112, January 1985.

    Google Scholar 

  7. David Gelernter. Multiple Tuple Spaces in Linda. In Proceedings of the PARLE'89 Conference, volume 365 of Lecture notes on Computer Science, pages 20–27, 1989.

    Google Scholar 

  8. J.-M. Jacquet and K. De Bosschere. On the Semantics of μLog. Future Generation Computer Systems, 10:93–135, 1994.

    Google Scholar 

  9. J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.

    Google Scholar 

  10. L. Monteiro and A. Porto. Contextual Logic Programming. In G. Levi and M. Martelli, editors, Proc. 6 th Int. Conf. on Logic Programming, pages 284–302, Lisboa, 1989. The MIT Press.

    Google Scholar 

  11. L.M. Pereira, L. Monteiro, J. Cunha, and J.N. Aparício. Delta Prolog: A Distributed Backtracking Extension with Events. In G. Goos and J. Hartmanis, editors, Proceedings of the Third International Conference on Logic Programming, volume 225 of Lecture Notes in Computer Science, London, July 1986. Springer Verlag.

    Google Scholar 

  12. G. Plotkin. A Structured Approach to Operational Semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.

    Google Scholar 

  13. D.G. Schwartz. Cooperating Heterogeneous Systems: A Blackboard-based Meta Approach. PhD thesis, Department of Computer Engineering and Science, Case Western Reserve University, 1993.

    Google Scholar 

  14. G. Sutcliffe and J. Pinakis. Prolog-D-Linda: An Embedding of Linda in SICStus Prolog. Technical Report 91/7, Department of Computer Science, University of Western Australia, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Vakgroep Elektronica, Universiteit Gent, Belgium

    Koen De Bosschere

  2. Institut d'Informatique, University of Namur, Belgium

    Jean-Marie Jacquet

Authors
  1. Koen De Bosschere
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jean-Marie Jacquet
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Paolo Ciancarini Chris Hankin

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

De Bosschere, K., Jacquet, JM. (1996). μ2Log: Towards remote coordination. In: Ciancarini, P., Hankin, C. (eds) Coordination Languages and Models. COORDINATION 1996. Lecture Notes in Computer Science, vol 1061. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61052-9_44

Download citation

  • DOI: https://doi.org/10.1007/3-540-61052-9_44

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61052-6

  • Online ISBN: 978-3-540-49936-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation