Adding debugging support to the Prometheus methodology

This paper describes a debugger which uses the design artifacts of the Prometheus agent-oriented software engineering methodology to alert the developer testing the system, that a specification has been violated. Detailed information is provided regarding the error which can help the developer in locating its source. Interaction protocols specified during design, are converted to executable Petri net representations. The system can then be monitored at run time to identify situations which do not conform to specified protocols. A process for monitoring aspects of plan selection is also described. The paper then describes the Prometheus Design Tool, developed to support the Prometheus methodology, and presents a vision of an integrated development environment providing full life cycle support for the development of agent systems. The initial part of the paper provides a detailed summary of the Prometheus methodology and the artifacts on which the debugger is based.

[1]  Hyacinth S. Nwana,et al.  Visualising and debugging distributed multi-agent systems , 1999, AGENTS '99.

[2]  Fausto Giunchiglia,et al.  The tropos software development methodology: processes, models and diagrams , 2002, AAMAS '02.

[3]  M. Müllerburg,et al.  The role of debugging within software engineering environments , 1983, SIGSOFT '83.

[4]  Martin K. Purvis,et al.  Modelling and visualizing agent conversations , 2001, AGENTS '01.

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

[6]  Massimo Cossentino,et al.  Designing a multi-agent solution for a bookstore with the PASSI methodology , 2002, AOIS@CAiSE.

[7]  Michael Wooldridge,et al.  Model checking multi-agent systems with MABLE , 2002, AAMAS '02.

[8]  Gustavo Rossi,et al.  On The Evaluation Of Agent Oriented Modelling Methods , 2001 .

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

[10]  Franco Zambonelli,et al.  Methodologies and software engineering for agent systems : the agent-oriented software engineering handbook , 2004 .

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

[12]  Michael Winikoff,et al.  Comparing Agent-Oriented Methodologies , 2003, AOIS.

[13]  Antonio Chella,et al.  Patterns Reuse in the PASSI Methodology , 2003, ESAW.

[14]  Paolo Busetta,et al.  Jack intelligent agents - components for intelligent agents in java , 1998 .

[15]  Marcus J. Huber.  JAM: a BDI-theoretic mobile agent architecture , 1999, AGENTS '99.

[16]  Michael Winikoff,et al.  Agent-oriented information systems : 5th International Bi-Conference Workshop, AOIS 2003 Melbourne, Australia, July 14, 2003 and Chicgo, IL, USA, October 13, 2003 : revised selected papers , 2004 .

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

[18]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[19]  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..

[20]  Winfried Lamersdorf,et al.  Evaluation of Agent-Oriented Software Methodologies - Examination of the Gap Between Modeling and Platform , 2004, AOSE.

[21]  Michael Winikoff,et al.  Debugging multi-agent systems using design artifacts: the case of interaction protocols , 2002, AAMAS '02.

[22]  Onn Shehory,et al.  A Framework for Evaluating Agent-Oriented Methodologies , 2003, AOIS.

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

[24]  W. L. Johnson,et al.  Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems , 2002 .

[25]  Brent Hailpern,et al.  Software debugging, testing, and verification , 2002, IBM Syst. J..

[26]  Stephen Cranefield,et al.  Executing agent UML diagrams , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

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

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

[29]  Michael Winikoff,et al.  An exploration of bugs and debugging in multi-agent systems , 2003, AAMAS '03.

[30]  Katia P. Sycara,et al.  The RETSINA MAS Infrastructure , 2003, Autonomous Agents and Multi-Agent Systems.

[31]  Joel Huselius,et al.  Debugging Parallel Systems: A State of the Art Report , 2002 .

[32]  Christopher D. Walton,et al.  Model Checking Agent Dialogues , 2004, DALT.

[33]  Nikolaos M. Avouris,et al.  Debugging multi-agent systems , 1995, Inf. Softw. Technol..

[34]  F. Parandoosh,et al.  Evaluating Agent-Oriented Software Engineering Methodologies , 2007, 2007 2nd International Workshop on Soft Computing Applications.

[35]  Christopher Walton.  Model Checking Agent Dialogues in SPIN , 2004 .

[36]  Colin Potts,et al.  A CASE tool supported methodology for the design of multi-agent systems , 2002 .

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

[38]  Giancarlo Succi,et al.  Perspectives on Software Product Lines: report on Second International Workshop on Software Product Lines: Economics, Architectures, and Implications workshop at 23rd International Conference on Software Engineering (ICSE) , 2002, SOEN.

[39]  Kendall Scott,et al.  UML distilled - a brief guide to the Standard Object Modeling Language (2. ed.) , 2000, notThenot Addison-Wesley object technology series.

[40]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[41]  Hyacinth S. Nwana,et al.  ZEUS: a toolkit and approach for building distributed multi-agent systems , 1999, AGENTS '99.

[42]  Dr. Stefan Bussmann,et al.  Multiagent Systems for Manufacturing Control , 2004, Springer Series on Agent Technology.

[43]  Stephen Cranefield,et al.  A layered approach for modelling agent conversations , 2001 .