Petri nets: an introduction
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
JAM: a BDI-theoretic mobile agent architecture
Proceedings of the third annual 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
Modelling and visualizing agent conversations
Proceedings of the fifth international conference on Autonomous agents
Evaluation of modeling techniques for agent-based systems
Proceedings of the fifth international conference on Autonomous agents
Software Engineering Economics
Software Engineering Economics
Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Debugging multi-agent systems using design artifacts: the case of interaction protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
The role of debugging within software engineering environments
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
UML Distilled: A Brief Guide to the Standard Object Modeling Language
UML Distilled: A Brief Guide to the Standard Object Modeling Language
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Developing Intelligent Agent Systems: A Practical Guide
Developing Intelligent Agent Systems: A Practical Guide
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Representing Agent Interaction Protocols with Agent UML
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Software debugging, testing, and verification
IBM Systems Journal
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Model checking agent dialogues
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Analysis and design of physical and social contexts in multi-agent systems using UML
SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
Tool Support for Agent Development using the Prometheus Methodology
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Towards Making Agent UML Practical: A Textual Notation and a Tool
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
AUML protocols and code generation in the Prometheus design tool
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Systematic verification of multi-agent systems based on rigorous executable specifications
International Journal of Agent-Oriented Software Engineering
Defining syntax and providing tool support for Agent UML using a textual notation
International Journal of Agent-Oriented Software Engineering
Prioritisation mechanisms to support incremental development of agent systems
International Journal of Agent-Oriented Software Engineering
Automated unit testing intelligent agents in PDT
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers
Ontology-based test generation for multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Prometheus and INGENIAS Agent Methodologies: A Complementary Approach
Agent-Oriented Software Engineering IX
Future directions for agent-based software engineering
International Journal of Agent-Oriented Software Engineering
Using three AOSE toolkits to develop a sample design
International Journal of Agent-Oriented Software Engineering
Testing in Agent Oriented Methodologies
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Towards Providing Social Knowledge by Event Tracing in Multiagent Systems
HAIS '09 Proceedings of the 4th International Conference on Hybrid Artificial Intelligence Systems
Architecture compliance checking at run-time
Information and Software Technology
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
A framework for the definition of metamodels for Computer-Aided Software Engineering tools
Information and Software Technology
Monitoring group behavior in goal-directed agents using co-efficient plan observation
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
ProMAS'06 Proceedings of the 4th international conference on Programming 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
The prometheus design tool: a conference management system case study
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
TRAMMAS: A tracing model for multiagent systems
Engineering Applications of Artificial Intelligence
An agent-oriented approach to change propagation in software maintenance
Autonomous Agents and Multi-Agent Systems
Analysis and design of physical and social contexts in multi-agent systems
Software Engineering for Multi-Agent Systems IV
Improving flexibility and robustness in agent interactions: extending prometheus with hermes
Software Engineering for Multi-Agent Systems IV
An agentspeak meta-interpreter and its applications
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Data mining agent conversations: A qualitative approach to multiagent systems analysis
Information Sciences: an International Journal
Towards a next-generation AOSE methodology
Science of Computer Programming
Robust design of multi-agent system interactions: A testing approach based on pattern matching
Engineering Applications of Artificial Intelligence
Debugging Mobile Agent Systems
Proceedings of International Conference on Information Integration and Web-based Applications & Services
A comparison of two agent interaction design approaches
Multiagent and Grid Systems
Hi-index | 0.00 |
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.