Petri nets: an introduction
Analyzing parallel program executions using multiple views
Journal of Parallel and Distributed Computing - Special issue: software tools for parallel programming and visualization
A framework for dynamic program analyzers
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Distributed artificial intelligence
Applications of intelligent agents
Agent technology
Pitfalls of agent-oriented development
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Visualising and debugging distributed multi-agent systems
Proceedings of the third annual conference on Autonomous Agents
ZEUS: a toolkit and approach for building distributed multi-agent systems
Proceedings of the third annual conference on Autonomous Agents
Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
An agent-based approach for building complex software systems
Communications of the ACM
Debugging agent interactions: a case study
Proceedings of the 2001 ACM symposium on Applied computing
Modelling and visualizing agent conversations
Proceedings of the fifth international conference on Autonomous agents
Software Engineering Economics
Software Engineering Economics
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
A Requirements-Driven Development Methodology
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Detecting causal relationships in distributed computations: in search of the holy grail
Distributed Computing
Prometheus: a methodology for developing intelligent agents
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
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
Towards a Formal Approach to Overhearing: Algorithms for Conversation Identification
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
A Scalable Petri Net Representation of Interaction Protocols for Overhearing
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
VizScript: visualizing complex interactions in multi-agent systems
Proceedings of the 12th international conference on Intelligent user interfaces
On the design of coordination diagnosis algorithms for teams of situated agents
Artificial Intelligence
Breaking into industry: tool support for multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Traceability and completeness checking for agent-oriented systems
Proceedings of the 2008 ACM symposium on Applied computing
A Monitoring Toolset for Paose
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Providing Integrated Development Environments for Multi-Agent Systems
MATES '08 Proceedings of the 6th German conference on Multiagent System Technologies
Tools for analyzing intelligent agent systems
Web Intelligence and Agent Systems
Detecting disagreements in large-scale multi-agent teams
Autonomous Agents and Multi-Agent Systems
Testing and Debugging of MAS Interactions with INGENIAS
Agent-Oriented Software Engineering IX
Using three AOSE toolkits to develop a sample design
International Journal of Agent-Oriented Software Engineering
Graph-based methods for the analysis of large-scale multiagent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Testing the limits of emergent behavior in MAS using learning of cooperative behavior
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Representing conversations for scalable overhearing
Journal of Artificial Intelligence Research
Performance measurement of multiagent systems: towards dependable MAS
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Debugging complex software systems by means of pathfinder networks
Information Sciences: an International Journal
Adding debugging support to the Prometheus methodology
Engineering Applications of Artificial Intelligence
Process models for agent-based development
Engineering Applications of Artificial Intelligence
A representation for coordination fault detection in large-scale multi-agent systems
Annals of Mathematics and Artificial Intelligence
A framework for facilitating cooperation in multi-agent systems
The Journal of Supercomputing
Prometheus: a methodology for developing intelligent agents
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
A tool architecture to verify properties of multiagent system at runtime
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
On the application of clustering techniques to support debugging large-scale multi-agent systems
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
MIP-nets: a compositional model of multiagent interaction
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Current issues in multi-agent systems development
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Requirements and tools for the debugging of multi-agent systems
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
The prometheus design tool: a conference management system case study
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
Using colored petri nets to predict future states in agent-based scheduling and planning systems
Multiagent and Grid Systems - Advances in Agent-mediated Automated Negotiations
Debugging BDI-based multi-agent programs
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Infrastructure for forensic analysis of multi-agent based simulations
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
An agent-oriented approach to change propagation in software maintenance
Autonomous Agents and Multi-Agent Systems
Test coverage criteria for agent interaction testing
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Towards a model level debugger for the cougaar model driven architecture system
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
A scalable petri net representation of interaction protocols for overhearing
AC'04 Proceedings of the 2004 international conference on Agent Communication
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Eliciting expectations for monitoring social interactions
ICCMSN'08 Proceedings of the First international conference on Computer-Mediated Social Networking
Intelligent data analysis for the verification of multi-agent systems interactions
IDEAL'06 Proceedings of the 7th international conference on Intelligent Data Engineering and Automated Learning
An agentspeak meta-interpreter and its applications
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Robust design of multi-agent system interactions: A testing approach based on pattern matching
Engineering Applications of Artificial Intelligence
| Hi-index | 0.00 |
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.