Debugging multi-agent systems using design artifacts: the case of interaction protocols

ABSTRACT

Debugging multi-agent systems (which are concurrent, distributed, and consist of complex components) is difficult, yet crucial. We propose that the debugging process can be improved by following an agent-oriented design methodology, and then using the design artifacts in the debugging phase. We present an example of this scheme which uses interaction protocols to debug agent interaction. Interaction protocols are specified using AUML and are translated to Petri nets. The debugger uses the Petri nets to monitor conversations and to provide precise and informative error messages when protocols aren't correctly followed by the agents.

REFERENCES

• 1: Barry W. Boehm, Software Engineering Economics, Prentice Hall PTR, Upper Saddle River, NJ, 1981
• 2: Bernd Bruegge , Tim Gottschalk , Bin Luo, A framework for dynamic program analyzers, Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, p.65-82, September 26-October 01, 1993, Washington, D.C., United States
• 3: Jaelson Castro , Manuel Kolp , John Mylopoulos, A Requirements-Driven Development Methodology, Proceedings of the 13th International Conference on Advanced Information Systems Engineering, p.108-123, June 04-08, 2001
• 4: R. Scott Cost, Ye Chen, Tim Finin, Yannis Labrou, and Yun Peng. Using colored petri nets for conversation modeling. In Workshop on Agent Communication Languages at the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), 1999. Available from http://www.csee.umbc.edu/˜jklabrou/
• 5: David Flater, Debugging agent interactions: a case study, Proceedings of the 2001 ACM symposium on Applied computing, p.107-114, March 2001, Las Vegas, Nevada, United States [doi>10.1145/372202.372288]
• 6: Foundation for Intelligent Physical Agents (FIPA). FIPA interaction protocol library specification. Available from www.fipa.org, 2001. Document number XC00025D, version 2001/01/29
• 7: Martic Fowler and Kendall Scott. UML distilled. Addison-Wesley. ISBN 0-201-32563-2, 1997
• 8: Nicholas R. Jennings, An agent-based approach for building complex software systems, Communications of the ACM, v.44 n.4, p.35-41, April 2001 [doi>10.1145/367211.367250]
• 9: N. R. Jennings , M. Wooldridge, Applications of intelligent agents, Agent technology: foundations, applications, and markets, Springer-Verlag New York, Inc., Secaucus, NJ, 1998
• 10: Thomas J. LeBlanc , John M. Mellor-Crummey , Robert J. Fowler, Analyzing parallel program executions using multiple views, Journal of Parallel and Distributed Computing, v.9 n.2, p.203-217, June 1990 [doi>10.1016/0743-7315(90)90046-R]
• 11: M. Liedekerke and N. Avouris. Debugging multi-agent systems. Information and Software Technology, 37(2):103--112, 1995
• 12: Nowostawski M., Purvis M., and Cranefield S. A layered approach for modelling agent conversations. In Proceedings of the 2nd International Workshop on Infrastructure for Agents, MAS, and Scalable MAS, 5th International Conference on Autonomous Agents, Montreal, pages 163--170, 2001
• 13: Lee Naish. A declarative debugging scheme. Journal of Functional and Logic Programming, 1997(3), April 1997
• 14: Divine T. Ndumu , Hyacinth S. Nwana , Lyndon C. Lee , Jaron C. Collis, Visualising and debugging distributed multi-agent systems, Proceedings of the third annual conference on Autonomous Agents, p.326-333, April 1999, Seattle, Washington, United States [doi>10.1145/301136.301220]
• 15: Hyacinth S Nwana , Divine T. Ndumu , Lyndon C. Lee , Jaron C. Collis, ZEUS: a toolkit and approach for building distributed multi-agent systems, Proceedings of the third annual conference on Autonomous Agents, p.360-361, April 1999, Seattle, Washington, United States [doi>10.1145/301136.301234]
• 16: J. Odell, H. Parunak, and B. Bauer. Extending UML for agents. In Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence., 2000
• 17: G. M. P. O'Hare , M. J. Wooldridge, A software engineering perspective on multi-agent system design: experience in the development of MADE, Distributed artificial intelligence: theory and praxis, Kluwer Academic Publishers, Norwell, MA, 1992
• 18: Lin Padgham and Michael Winikoff. A methodology for agent oriented software design. Technical Report TR-01-2, School of Computer Science and Information Technology, RMIT University, 2001
• 19: Charles Petrie, Agent-based software engineering, First international workshop, AOSE 2000 on Agent-oriented software engineering, p.59-75, January 2001, Limerick, Ireland
• 20: Wolfgang Reisig, Petri nets: an introduction, Springer-Verlag New York, Inc., New York, NY, 1985
• 21: Reinhard Schwarz , Friedemann Mattern, Detecting causal relationships in distributed computations: in search of the holy grail, Distributed Computing, v.7 n.3, p.149-174, March 1994 [doi>10.1007/BF02277859]
• 22: Michael Wooldridge , Paolo Ciancarini, Agent-oriented software engineering: the state of the art, First international workshop, AOSE 2000 on Agent-oriented software engineering, p.1-28, January 2001, Limerick, Ireland
• 23: Michael Wooldridge , Nicholas R. Jennings , David Kinny, The Gaia Methodology for Agent-Oriented Analysis and Design, Autonomous Agents and Multi-Agent Systems, v.3 n.3, p.285-312, September 2000 [doi>10.1023/A:1010071910869]
• 24: Michael Wooldridge , Nicholas R. Jennings, Pitfalls of agent-oriented development, Proceedings of the second international conference on Autonomous agents, p.385-391, May 10-13, 1998, Minneapolis, Minnesota, United States [doi>10.1145/280765.280867]
• 25: Marvin V. Zelkowitz, Perspectives in Software Engineering, ACM Computing Surveys (CSUR), v.10 n.2, p.197-216, June 1978 [doi>10.1145/356725.356731]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging
          Subjects: Testing tools (e.g., data generators, coverage testing)

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Petri nets
      D.2.5 Testing and Debugging
          Subjects: Debugging aids

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Intelligent agents; Multiagent systems