A coordination language for collective agent-based systems: Grouplog

The paper presents the GroupLog coordination language for collective agent-based systems. It is a logic language based on the notion of group, a cooperating entity whose definition is important to model cooperation in a flexible and well-structured manner and to hide low-level management of coordination activities. In the paper, an informal presentation of the GroupLog language and its use is illustrated through examples.

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

[2]  Michael Fisher,et al.  Representing and Executing Agent-Based Systems , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[3]  Fernanda Barbosa.  A Language Framework for Group Based Multi { Agent Systems : , 1999 .

[4]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[5]  Anand S. Rao,et al.  Design of a Concurrent Agent-Oriented Language , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[6]  Andrew A. Chien.  Supporting modularity in highly-parallel programs , 1993 .

[7]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[8]  Silvano Maffeis,et al.  The Object Group Design Pattern , 1996, COOTS.

[9]  Sarah Rebecca Thomas,et al.  PLACA, an agent oriented programming language , 1993 .

[10]  Paolo Ciancarini,et al.  A Logic Coordination Language Based on the Chemical Metaphor , 1996 .

[11]  Luís Moniz Pereira,et al.  Programming in Delta Prolog , 1989, ICLP.

[12]  Jean-Marie Jacquet,et al.  Extended Horn Clauses: The Framework and Some Semantics , 1991, CONCUR.

[13]  Evelina Lamma,et al.  Blackboard- and Object-Based Systems via Multi-Head Clauses , 1997, Computers and artificial intelligence.

[14]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[15]  Brian N. Bershad,et al.  A group structuring mechanism for a distributed object-oriented language , 1994, 14th International Conference on Distributed Computing Systems.

[16]  Paolo Ciancarini,et al.  The ShaPE of ShaDe: a Coordination System , 1996 .

[17]  Naftaly H. Minsky,et al.  Law-Governed Linda as a Coordination Model , 1994, ECOOP Workshop.

[18]  Andrea Omicini,et al.  Engineering Multi-Agent Systems in LuCe , 2000 .

[19]  A. A. Holzbacher.  A Software Environment for Concurrent Coordinated Programming , 1996, COORDINATION.

[20]  José C. Cunha,et al.  Distributed algorithm development with PVM-prolog , 1997, International Euromicro Conference on Parallel, Distributed and Network-Based Processing.

[21]  Kenneth P. Birman,et al.  Exploiting virtual synchrony in distributed systems , 1987, SOSP '87.

[22]  Christophe Sibertin-Blanc,et al.  Cooperative Nets , 1994, Application and Theory of Petri Nets.

[23]  Antonio Brogi,et al.  AND-Parallelism without Shared Variables , 1990, International Conference on Logic Programming.

[24]  Koen V. Hindriks,et al.  Semantics of Communicating Agents Based on Deduction and Abduction , 2000, Issues in Agent Communication.

[25]  Paolo Ciancarini,et al.  Exploring the Coordination Space with LO , 1994 .

[26]  Daniel Marcu,et al.  Foundations of a Logical Approach to Agent Programming , 1995, ATAL.

[27]  Stéphane Ducasse,et al.  A Group Based Approach for Coordinating Active Objects , 1999, COORDINATION.

[28]  Cecilia Mascolo,et al.  Using a Coordination Language to Specify the Invoicing System , 2002 .

[29]  Jack Dongarra,et al.  Pvm 3 user's guide and reference manual , 1993 .

[30]  Anton Eliëns,et al.  Dlp - A Language for Distributed Logic Programming: Design, Semantics and Implementation , 1992 .