Coordination and Conversation Protocols in Open Multi-agent Systems

This paper presents an approach to formally link a simple dependencybased coordination model to its related conversation protocol. Hence, by observing conversation among coordinating entities, an external observer is able to recognise valid conversations that do not break the established norms on coordination. This may help in building reliable autonomous agent based systems in open and untrustred environments.

[1]  Franco Zambonelli,et al.  Signs of a Revolution in Computer Science and Software Engineering , 2002, ESAW.

[2]  George Angelos Papadopoulos,et al.  Models and Technologies for the Coordination of Internet Agents: A Survey , 2001, Coordination of Internet Agents: Models, Technologies, and Applications.

[3]  Brian Henderson-Sellers,et al.  Enhancing Agent OPEN with concepts used in the Tropos methodology ? , 2022 .

[4]  Cedric Fournet.  Le join-calcul : un calcul pour la programmation repartie et mobile , 1998 .

[5]  Cristiano Castelfranchi,et al.  Guarantees for Autonomy in Cognitive Agent Architecture , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[6]  Luca Cardelli,et al.  Abstractions for Mobile Computation , 1999, Secure Internet Programming.

[7]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[8]  Mark S. Fox,et al.  COOL: A Language for Describing Coordination in Multi Agent Systems , 1995, ICMAS.

[9]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[10]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[11]  Alessandro Ricci,et al.  Integrating and Orchestrating Services upon an Agent Coordination Infrastructure , 2003, ESAW.

[12]  Mihai Barbuceanu,et al.  Conversation Oriented Programming for Agent Interaction , 2000, Issues in Agent Communication.

[13]  Kevin Crowston,et al.  The interdisciplinary study of coordination , 1994, CSUR.

[14]  Diego Ponte,et al.  Engineering Societies in the Agents World III , 2003, Lecture Notes in Computer Science.

[15]  Nicolas Maudet,et al.  Competent Agents and Customising Protocols , 2003, ESAW.

[16]  Yun Peng,et al.  Using Colored Petri Nets for Conversation Modeling , 2000, Issues in Agent Communication.

[17]  Abdelkader Gouaïch,et al.  Requirements for Achieving Software Agents Autonomy and Defining their Responsibility , 2003, Agents and Computational Autonomy.

[18]  Ralf König.  State-Based Modeling Method for Multiagent Conversation Protocols and Decision Activities , 2002, Agent Technologies, Infrastructures, Tools, and Applications for E-Services.

[19]  Amal El Fallah Seghrouchni,et al.  Protocol Engineering for Multi-agent Interaction , 1999, MAAMAW.