Specification and Analysis of the Contract Net Protocol Based on State Machine Model

Goichi ITABASHI  Yoshiaki HARAMOTO  Yasushi KATO  Kaoru TAKAHASHI  Norio SHIRATORI  

Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E85-A   No.11   pp.2447-2452
Publication Date: 2002/11/01
Online ISSN: 
DOI: 
Print ISSN: 0916-8508
Type of Manuscript: Special Section LETTER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
Category: 
Keyword: 
multi-agent system,  contract net protocol,  formal specification,  finite state model,  

Full Text: PDF(358.5KB)>>
Buy this Article




Summary: 
In this paper, we clarify the properties of the contract net protocol based on its formal specification. To specify the contract net protocol, we propose a formal specification method for an agent system. In this method, agents are modeled as communicating finite state machines. To deal with the behavior of agents and its time passage explicitly, we incorporate the concept of time into the communicating finite state machine. The contract net protocol is specified based on the specification method proposed in this paper. From the specification, we analyze the possibility about agent deadlock and its avoidance solution.