Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Debugging Agent Interactions: A Case Study



David W. Flater


The Contract Net protocol is a general-purpose protocol for distributed problem solving. Many modern agent infrastructures facilitate the generation of agents supporting Contract Net. We used one such infrastructure to simulate a Contract Net-based approach to job scheduling and found that some jobs failed to get scheduled even though the resources were available. This paper describes two phases of the subsequent debugging effort. The first phase was enhancing the visualization of the agent community to reveal the causes of failed negotiations. The second phase was formalizing the problem using a Temporal Calculus of Communicating Systems (TCCS) and attempting to find a solution. After exploring a number of solutions that would not generalize, we found that switching from one-phase to two-phase commitment sufficed to fix the problem.
Proceedings Title
Proceedings of the 6th ACM Symposium on Applied Computing


agents, distributed, negotiation, scheduling


Flater, D. (2000), Debugging Agent Interactions: A Case Study, Proceedings of the 6th ACM Symposium on Applied Computing, [online], (Accessed May 21, 2024)


If you have any questions about this publication or are having problems accessing it, please contact

Created July 1, 2000, Updated February 17, 2017