A compositional framework for the specification of interaction protocols in multiagent organizations

This paper addresses the notion of context in multiagent systems from an organisational point of view. Setting out from the RICA metamodel that shapes the agents' space of interaction on the basis of hierarchical organisational and communicative abstractions, we propose Interaction State Machines as a new formalism for the specification and enactment of multiagent interaction protocols. By means of examples from the FIPA interaction protocol library, we show how this formalism allows for a successive refinement of interaction protocols, and how this process is guided by the organisational model underlying a multiagent application.

[1]  Franco Zambonelli,et al.  Developing multiagent systems: The Gaia methodology , 2003, TSEM.

[2]  Kazuhiro Kuwabara,et al.  AgenTalk: Coordination Protocol Description for Multiagent Systems , 1995, ICMAS.

[3]  Franco Zambonelli,et al.  Organizational Abstractions for the Analysis and Design of Multi-agent Systems , 2000, AOSE.

[4]  Sascha Ossowski,et al.  The Pragmatics of Software Agents: Analysis and Design of Agent Communication Languages , 2003, AgentLink.

[5]  Sascha Ossowski,et al.  Co-ordination in Artificial Agent Societies: Social Structures and Its Implications for Autonomous Problem-Solving Agents , 1998 .

[6]  Jintae Lee,et al.  Applying specialization to process models , 2018, COCS '95.

[7]  Sascha Ossowski,et al.  CASCOM: Context-aware Health-Care Service Coordination in Mobile Computing Environments , 2005 .

[8]  Peter McBurney,et al.  A formal framework for inter-agent dialogues , 2001, AGENTS '01.

[9]  Ramanathan V. Guha,et al.  Varieties of Contexts , 2003, CONTEXT.

[10]  Pablo Noriega,et al.  Electronic Institutions: Future Trends and Challenges , 2002, CIA.

[11]  Marc Esteva,et al.  AMELI: an agent-based middleware for electronic institutions , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[12]  Sascha Ossowski,et al.  A semantic framework for the recursive specification of interaction protocols , 2005, SAC '05.

[13]  Jeffrey M. Bradshaw,et al.  KAoS: toward an industrial-strength open agent architecture , 1997 .

[14]  Victor R. Lesser,et al.  A layered approach to complex negotiations , 2004, Web Intell. Agent Syst..

[15]  Brian Henderson-Sellers,et al.  Organizational models and interaction patterns for use in the analysis and design of multi-agent systems , 2005, Web Intell. Agent Syst..

[16]  Quoc Bao Vo.  A task-oriented agent-based mechanism for mathematical assistant systems , 2004, Web Intell. Agent Syst..

[17]  Marian H. Nodine,et al.  Constructing Robust Conversation Policies in Dynamic Agent Communities , 2000, Issues in Agent Communication.

[18]  Pablo Noriega,et al.  Implementing norms in electronic institutions , 2005, AAMAS '05.

[19]  Javier Vázquez-Salceda,et al.  OMNI: Introducing Social Structure, Norms and Ontologies into Agent Organizations , 2004, PROMAS.

[20]  Jacques Ferber,et al.  A meta-model for the analysis and design of organizations in multi-agent systems , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).