Advertisement

An extensible framework for the development of coordinated applications

  • Enrico Denti
  • Antonio Natali
  • Andrea Omicini
  • Marco Venuti
Regular Papers
Part of the Lecture Notes in Computer Science book series (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.

Keywords

Coordination models Distributed programming environments Extensible communication abstractions 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 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. 4.
    P. Ciancarini. Distributed programming with logic tuple spaces. New Generation Computing, 12, 1994.Google Scholar
  5. 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. 6.
    D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1), January 1985.Google Scholar
  7. 7.
    D. Gelernter. Multiple tuple spaces in Linda. In Proceedings of PARLE, volume 365 of LNCS, 1989.Google Scholar
  8. 8.
    D. Gelernter and N. Carriero. Coordination languages and their significance. Communications of the ACM, 35(2):97–107, February 1992.Google Scholar
  9. 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. 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. 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. 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. 13.
    Swedish Institute of Computer Science, Kista, Sweden. SICStus Prolog Library, 1994.Google Scholar
  14. 14.
    Swedish Institute of Computer Science, Kista, Sweden. SICStus Prolog User's Manual, 1994.Google Scholar
  15. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Enrico Denti
    • 1
  • Antonio Natali
    • 1
  • Andrea Omicini
    • 1
  • Marco Venuti
    • 1
  1. 1.LIA - DEISUniversità di BolognaBolognaItaly

Personalised recommendations