Skip to main content
SpringerLink
Log in
Book cover

International Conference on Coordination Languages and Models

COORDINATION 1996: Coordination Languages and Models pp 305–320Cite as

An extensible framework for the development of coordinated applications

  • Regular Papers
  • Conference paper
  • First Online:

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

Abstract

Distributed programming suffers from the lack of abstractions and tools required to handle and analyse the large amount of information characterising distributed systems. On the other hand, the separation of computation and coordination models definitely simplifies the design of a programming environment for distributed applications. Starting from this consideration, the ACLT coordination model extends the basic Linda kernel, by providing support for heterogeneous multiagent systems, as well as for hybrid agent architectures integrating deduction and reaction. The design of the architectural support for the ACLT model led to the definition of a general-purpose scheme which is powerful enough to be used both for the system extension of the basic communication kernel and for building application-defined development tools. Such an approach is based on the idea of reactive communication abstractions, which can be programmed by agents according to a specification language which is rooted in the same model as the coordination language.

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. A. Brogi and P. Ciancarini. The concurrent language, Shared Prolog. ACM Transactions on Programming Languages and Systems, 13(1), January 1991.

    Google Scholar 

  2. N. Carriero and D. Gelernter. How to write parallel programs: a guide to the perplexed. ACM Computing Surveys, 21(3):323–357, September 1989.

    Google Scholar 

  3. P. Ciancarini. Coordinating rule-based software processes with ESP. Technical Report UBLCS-93-8, Laboratory of Computer Science, University of Bologna, April 1993.

    Google Scholar 

  4. P. Ciancarini. Distributed programming with logic tuple spaces. New Generation Computing, 12, 1994.

    Google Scholar 

  5. E. Denti, A. Natali, A. Omicini, and M. Venuti. Logic tuple spaces for the coordination of heterogeneous agents. In Proceedings of the First International Workshop “Frontiers of Combining Systems”, FroCoS'96, Munich, Germany, March 26–29 1996. Kluwer Academic Publisher.

    Google Scholar 

  6. D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1), January 1985.

    Google Scholar 

  7. D. Gelernter. Multiple tuple spaces in Linda. In Proceedings of PARLE, volume 365 of LNCS, 1989.

    Google Scholar 

  8. D. Gelernter and N. Carriero. Coordination languages and their significance. Communications of the ACM, 35(2):97–107, February 1992.

    Google Scholar 

  9. T.J. LeBlanc, J.M. Mellor-Crummey, and R.J. Fowler. Analyzing parallel program executions using multiple views. Journal of Parallel and Distributed Computing, 9:203–217, 1990.

    Google Scholar 

  10. D.M. Lyons and A.J. Hendriks. Planning for reactive robot behavior. In Proc. of the IEEE Int. Conf. on Robotics and Automation, Nice, France, May 1992.

    Google Scholar 

  11. D.C. Marinescu, J.E. Lumpp, T.L. Casavant, and H.J. Siegel. Models for monitoring and debugging tools for parallel and distributed software. Journal of Parallel and Distributed Computing, 9:171–184, 1990.

    Google Scholar 

  12. A. Omicini, E. Denti, and A. Natali. Agent coordination and control through logic theories. In Topics in Artificial Intelligence — 4th Congress of the Italian Association for Artificial Intelligence, AI * IA'95, volume 992 of LNAI, pages 439–450, Firenze, Italy, October 11–13 1995. Springer-Verlag.

    Google Scholar 

  13. Swedish Institute of Computer Science, Kista, Sweden. SICStus Prolog Library, 1994.

    Google Scholar 

  14. Swedish Institute of Computer Science, Kista, Sweden. SICStus Prolog User's Manual, 1994.

    Google Scholar 

  15. F. Zanichelli, S. Caselli, A. Natali, and A. Omicini. A multi-agent framework and programming environment for autonomous robotics. In Proceedings of the International Conference on Robotics and Automation (ICRA '94), pages 3501–3506, S. Diego, CA, USA, May 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIA - DEIS, Università di Bologna, Viale Risorgimento, 2, 40136, Bologna, Italy

    Enrico Denti, Antonio Natali, Andrea Omicini & Marco Venuti

Authors
  1. Enrico Denti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonio Natali
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andrea Omicini
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Marco Venuti
    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

Denti, E., Natali, A., Omicini, A., Venuti, M. (1996). An extensible framework for the development of coordinated applications. 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_53

Download citation

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

  • 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