A comparison of two agent interaction design approaches

The approach to designing agent interactions that is used by mainstream agent-oriented software engineering methodologies focuses on identifying the allowable sequences of messages, and capturing this as an interaction protocol. It has been argued that this "message-centric" approach is not congruent with the ability of individual agents to persistently achieve goals in a flexible and robust manner. In this paper we report on an empirical comparison of a message-centric approach to designing interactions exemplified by Prometheus and a previously proposed alternative approach called "Hermes" that uses interaction goals. The empirical comparison had 13~participants, each of whom created a design for the agent interactions in a meeting manager system. Six of the participants used Hermes, the remaining seven used Prometheus. The designs produced were analysed to assess their performance against a range of criteria including flexibility number of pathways, the degree to which they covered the provided scenario, and robustness ability to deal with a range of pre-defined exceptional behaviours. We also measured the time taken to develop the design, and surveyed participants to assess their opinions on their designs. The comparison showed that Prometheus did indeed lead participants to develop designs that had significantly less flexibility and robustness than Hermes, and that the designs of the Hermes group did significantly better at covering the scenario. On the other hand, Prometheus was significantly faster to use. The survey responses did not display a statistically significant difference, with the exception that Prometheus users felt significantly more strongly than Hermes users that their design was easy to follow.

[1]  Michael Winikoff Designing Commitment-Based Agent Interactions , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[2]  Michael Luck,et al.  The Agents Are All Busy Doing Stuff! , 2007, IEEE Intelligent Systems.

[3]  Virginia. Virginia Dignum . Dignum,et al.  Handbook of Research on Multi-Agent Systems - Semantics and Dynamics of Organizational Models , 2009, Handbook of Research on Multi-Agent Systems.

[4]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[5]  John Mylopoulos,et al.  An Empirical Evaluation of the i* Framework in a Model-Based Software Generation Environment , 2006, CAiSE.

[6]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[7]  Michael Winikoff,et al.  Evaluating a Model Driven Development Toolkit for Domain Experts to Modify Agent Based Systems , 2006, AOSE.

[8]  Michael Wooldridge,et al.  Introduction to multiagent systems , 2001 .

[9]  Andrea Omicini,et al.  Agent-based conference management: a case study in SODA , 2010, Int. J. Agent Oriented Softw. Eng..

[10]  Munindar P. Singh,et al.  Amoeba: A methodology for modeling and evolving cross-organizational business processes , 2009, TSEM.

[11]  Michael Winikoff,et al.  An agent-oriented approach to change propagation in software maintenance , 2011, Autonomous Agents and Multi-Agent Systems.

[12]  Arnon Sturm,et al.  A Quantitative-Based Comparison of MaSE and OPM/MAS Design Results , 2008, Int. J. Softw. Eng. Knowl. Eng..

[13]  Steve S. Benfield,et al.  Making a strong business case for multiagent technology , 2006, AAMAS '06.

[14]  Scott A. DeLoach,et al.  O-MaSE: a customisable approach to designing and building complex, adaptive multi-agent systems , 2010, Int. J. Agent Oriented Softw. Eng..

[15]  Winfried Lamersdorf,et al.  Jadex: Implementing a BDI-Infrastructure for JADE Agents , 2003 .

[16]  Munindar P. Singh,et al.  Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols , 2004, Annals of Mathematics and Artificial Intelligence.

[17]  Christopher Cheong,et al.  Hermes: goal-oriented interactions for intelligent agents , 2008 .

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

[19]  Munindar P. Singh,et al.  Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.

[20]  Elder Cirilo,et al.  A Case for New Directions in Agent-Oriented Software Engineering , 2010, AOSE.

[21]  Ernesto Martínez,et al.  Agent-based modeling and simulation of an autonomic manufacturing execution system , 2012, Comput. Ind..

[22]  Philip R. Cohen,et al.  Representing and executing protocols as joint actions , 2002, AAMAS '02.

[23]  Lin Padgham,et al.  Scenarios for system requirements traceability and testing , 2011, AAMAS.

[24]  Michael Winikoff,et al.  Tool support for agent development using the Prometheus methodology , 2005, Fifth International Conference on Quality Software (QSIC'05).

[25]  Scott A. DeLoach,et al.  Multiagent Systems Engineering , 2001, Int. J. Softw. Eng. Knowl. Eng..

[26]  Michael Winikoff,et al.  Towards a next-generation AOSE methodology , 2013, Sci. Comput. Program..

[27]  Michael Luck,et al.  Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents , 2006, The Knowledge Engineering Review.

[28]  Michael Winikoff,et al.  Defining syntax and providing tool support for Agent UML using a textual notation , 2007, Int. J. Agent Oriented Softw. Eng..

[29]  Patrick Heymans,et al.  Comparing Goal Modelling Languages: An Experiment , 2007, REFSQ.

[30]  Frank Dignum,et al.  The Knowledge Market: Agent-Mediated Knowledge Sharing , 2003, CEEMAS.

[31]  Michael Winikoff,et al.  Prometheus design tool , 2005, AAMAS '05.

[32]  Michael Winikoff,et al.  Developing intelligent agent systems - a practical guide , 2004, Wiley series in agent technology.

[33]  Philip R. Cohen,et al.  Direct execution of team specifications in STAPLE , 2002, AAMAS '02.

[34]  Roberto A. Flores,et al.  A pragmatic approach to build conversation protocols using social commitments , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[35]  Mirko Morandini Goal-Oriented Development of Self-Adaptive Systems , 2011 .

[36]  Daniel L. Silver,et al.  A distributed multi-agent meeting scheduler , 2008, J. Comput. Syst. Sci..

[37]  Lin Padgham,et al.  Using three AOSE toolkits to develop a sample design , 2009, Int. J. Agent Oriented Softw. Eng..

[38]  Sandip Sen,et al.  Developing an Automated Distributed Meeting Scheduler , 1997, IEEE Expert.

[39]  Munindar P. Singh,et al.  Enacting protocols by commitment concession , 2007, AAMAS '07.

[40]  Nicholas R. Jennings,et al.  Agent-based meeting scheduling: a design and implementation , 1995 .

[41]  Roberto A. Flores,et al.  A Principled Modular Approach to Construct Flexible Conversation Protocols , 2004, Canadian Conference on AI.

[42]  Munindar P. Singh,et al.  Comma: a commitment-based business modeling methodology and its empirical evaluation , 2012, AAMAS.

[43]  Frank Dignum,et al.  Designing agent systems: state of the practice , 2010, Int. J. Agent Oriented Softw. Eng..

[44]  Marc-Philippe Huget,et al.  Representing agent interaction protocols with agent UML , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[45]  Onn Shehory,et al.  Evaluation of modeling techniques for agent-based systems , 2001, AGENTS '01.

[46]  Munindar P. Singh,et al.  Commitments with regulations: reasoning about safety and control in REGULA , 2011, AAMAS.

[47]  Michael Winikoff,et al.  Hermes: Implementing Goal-Oriented Agent Interactions , 2005, PROMAS.

[48]  Ivan Trencansky,et al.  The agent modeling language - AML : a comprehensive approach to modeling multi-agent systems , 2007 .

[49]  Olivier Boissier,et al.  Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels , 2007, Int. J. Agent Oriented Softw. Eng..

[50]  Philip R. Cohen,et al.  STAPLE: An agent programming language based on the joint intention theory , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[51]  Michael Winikoff,et al.  Adding debugging support to the Prometheus methodology , 2005, Eng. Appl. Artif. Intell..

[52]  Wolfgang Reisig Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[53]  Michael Winikoff,et al.  Hermes: Designing Goal-Oriented Agent Interactions , 2005, AOSE.

[54]  Michael Winikoff,et al.  The goal-oriented design of agent systems: a refinement of Prometheus and its evaluation , 2009, Int. J. Agent Oriented Softw. Eng..

[55]  Munindar P. Singh,et al.  Kokomo: an empirically evaluated methodology for affective applications , 2011, AAMAS.

[56]  Stephen F. Smith,et al.  CMRadar: A Personal Assistant Agent for Calendar Management , 2004, AAAI.

[57]  Michael Winikoff,et al.  Flexibility and Robustness in Agent Interaction Protocols , 2002 .

[58]  M. V. Dignum,et al.  A Model for Organizational Interaction: based on Agents, founded in Logic , 2000 .

[59]  Michael Winikoff,et al.  Hermes: Designing Flexible and Robust Agent Interactions , 2009, Handbook of Research on Multi-Agent Systems.