Article

Requirements and tools for the debugging of multi-agent systems

Authors:

Lawrence Cabac,

Michael Duvigneau, and

Daniel MoldtAuthors Info & Claims

MATES'09: Proceedings of the 7th German conference on Multiagent system technologies

September 2009

Pages 238 - 247

Published: 09 September 2009 Publication History

Abstract

Debugging of multi-agent systems (MAS) is hard due to their distributed, concurrent, adaptive, highly interactive, flexible, mobile and heterogeneous nature.We identify three dimensions (activities, scale, and coupling) that span the area of debugging and derive general requirements for a debugging toolset in the multi-agent context. An implementation of a toolset w.r.t. the requirements given for the MAS reference architecture Mulan is presented. This toolset comprises general low level debugging possibilities that are included in the virtual machine (execution engine Renew), specialized Mulan-dependent debugging facilities that enable debugging on higher (agent concepts and independent debugging aspects that rely on publicly available information - i.e. message logs - together with advanced techniques, such as visualization and mining.

References

[1]

Botía, J.A., Hernansaez, J.M., Skarmeta, F.G.: Towards an approach for debugging mas through the analysis of acl messages. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol. 3187, pp. 301-312. Springer, Heidelberg (2004).

[2]

Cabac, L., Dörges, T., Rölke, H.: A Monitoring Toolset for Paose. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol. 5062, pp. 399-408. Springer, Heidelberg (2008).

Digital Library

[3]

Cabac, L., Knaak, N., Moldt, D., Rölke, H.: Analysis of multi-agent interactions with process mining techniques. In: Fischer, K., Timm, I.J., André, E., Zhong, N. (eds.) MATES 2006. LNCS (LNAI), vol. 4196, pp. 12-23. Springer, Heidelberg (2006).

Digital Library

[4]

Cabac, L., Moldt, D.: Formal semantics for AUML agent interaction protocol diagrams. In: Odell, J.J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382, pp. 47-61. Springer, Heidelberg (2005).

Digital Library

[5]

Cabac, L., Moldt, D., Schlüter, J.: Adding runtime net manipulation features to mulanviewer. In: AWPN 2008, September 2008. CEUR Workshop Proceedings, vol. 380, pp. 87-92. Universität Rostock (2008).

[6]

The Sniffer for JADE. Online documentation (January 2008), http://jade.cselt.it/doc/tools/sniffer/index.html

[7]

Köhler, M., Moldt, D., Rölke, H.: Modelling mobility and mobile agents using nets within nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 121-139. Springer, Heidelberg (2003).

Digital Library

[8]

Kummer, O., Wienberg, F., Duvigneau, M.: Renew- User Guide. University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, release 2.1.1 edn., (July 2008), http://www.renew.de/

[9]

Lam, D.N., Barber, K.S.: Debugging agent behavior in an implemented agent system. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2004. LNCS (LNAI), vol. 3346, pp. 104-125. Springer, Heidelberg (2005).

Digital Library

[10]

Lynch, S., Rajendran, K.: Providing integrated development environments for multi-agent systems. In: Bergmann, R., Lindemann, G., Kirn, S., Pechouček, M. (eds.) MATES 2008. LNCS (LNAI), vol. 5244, pp. 123-134. Springer, Heidelberg (2008).

Digital Library

[11]

MadKit (January 2008), http://www.madkit.org

[12]

Myers, G.J.: The art of software testing, 2nd edn. Wiley & Sons, Hoboken (2004).

Digital Library

[13]

Ndumu, D.T., Nwana, H.S., Lee, L.C., Collis, J.C.: Visualising and debugging distributed multi-agent systems. In: Agents, pp. 326-333 (1999).

Digital Library

[14]

Poutakidis, D., Padgham, L., Winikoff, M.: Debugging Multi-agent Systems Using Design Artifacts: The Case of Interaction Protocols. In: Proceedings of AAMAS 2002, pp. 960-967 (2002).

Digital Library

[15]

Sommerville, I.: Software engineering, 6th edn. Addison-Wesley, Redwood City (1995).

Digital Library

[16]

Van Liedekerke, M.H., Avouris, N.M.: Debugging multi-agent systems. Information and Software Technology 37, 103-112 (1995).

[17]

Wooldridge, M., Jennings, N., Kinny, D.: The Gaia methodology for agent-oriented analysis and design. The International Journal of Autonomous Agents and Multi-Agent Systems 3(3), 285-312 (2000).

Digital Library

Cited By

Higashino MOsaki SOtagaki STakahashi KKawamura TSugahara KWeippl EIndrawan-Santiago MSteinbauer MKotsis GKhalil I(2013)Debugging Mobile Agent SystemsProceedings of International Conference on Information Integration and Web-based Applications & Services10.1145/2539150.2539261(667-670)Online publication date: 2-Dec-2013
https://dl.acm.org/doi/10.1145/2539150.2539261

Index Terms

Requirements and tools for the debugging of multi-agent systems
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
      1. Multi-agent systems
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Index terms have been assigned to the content through auto-classification.

Recommendations

An exploration of bugs and debugging in multi-agent systems
AAMAS '03: Proceedings of the second international joint conference on Autonomous agents and multiagent systems

Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby protocol specifications available from the design process can be used for ...
Read More
A Plan Based Coalition Formation Model for Multi-agent Systems
WI-IAT '11: Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02

This article addresses the coalition formation problem in a multi-agent context where agents plan their activities dynamically and use these plans to coordinate their actions and form suitable coalitions. In most coalition formation methods, when ...
Read More
Some requirements for architectural support of software debugging
Proceedings of the 1982 symposium on Architectural support for programming languages and operating systems

Architectural support of high-level, symbolic debugging is described at three levels of abstraction: the user's view of desired debugging functionality, the debugger implementor's view of architectural requirements that support the functionality, and ...
Read More

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

MATES'09: Proceedings of the 7th German conference on Multiagent system technologies

September 2009

289 pages

ISBN:3642041426

Editors:
Lars Braubach
University of Hamburg, Distributed Systems and Information Systems, Hamburg, Germany
,
Alexander Pokahr
University of Hamburg, Distributed Systems and Information Systems, Hamburg, Germany
,
Wiebe Van Der Hoek
University of Liverpool, Agent Applications, Research, and Technology, Liverpool, UK
,
Paolo Petta
Austrian Research Institute for Artificial Intelligence, Intelligent Software Agents and New Media Group, Vienna, Austria

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 09 September 2009

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
5
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Other Metrics

View Author Metrics

Citations

Cited By

Higashino MOsaki SOtagaki STakahashi KKawamura TSugahara KWeippl EIndrawan-Santiago MSteinbauer MKotsis GKhalil I(2013)Debugging Mobile Agent SystemsProceedings of International Conference on Information Integration and Web-based Applications & Services10.1145/2539150.2539261(667-670)Online publication date: 2-Dec-2013
https://dl.acm.org/doi/10.1145/2539150.2539261

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents