An Extensible Frame work for the Development of Coordinated Applications

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.

[1]  Paolo Ciancarini,et al.  Coordinating rule-based software processes with ESP , 1993, TSEM.

[2]  Andrea Omicini,et al.  Agent Coordination and Control through Logic Theories , 1995, AI*IA.

[3]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[4]  Andrea Omicini,et al.  A multi-agent framework and programming environment for autonomous robotics , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[5]  Nicholas Carriero,et al.  Coordination languages and their significance , 1992, CACM.

[6]  Damian M. Lyons,et al.  Planning for reactive robot behavior , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[7]  Nicholas Carriero,et al.  How to write parallel programs: a guide to the perplexed , 1989, CSUR.

[8]  Andrea Omicini,et al.  Logic Tuple Spaces for the Coordination of Heterogeneous Agents , 1996, FroCoS.

[9]  Antonio Brogi,et al.  The concurrent language, Shared Prolog , 1991, TOPL.

[10]  David Gelernter,et al.  Multiple Tuple Spaces in Linda , 1989, PARLE.

[11]  Thomas J. Leblanc,et al.  Analyzing Parallel Program Executions Using Multiple Views , 1990, J. Parallel Distributed Comput..

[12]  Dan C. Marinescu,et al.  Models for Monitoring and Debugging Tools for Parallel and Distributed Software , 1990, J. Parallel Distributed Comput..