Specification and analysis of the contract net protocol based on state machine model

Goichi Itabashi*, Yoshiaki Haramoto, Yasushi Kato, Kaoru Takahashi, Norio Shiratori

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    1 Citation (Scopus)


    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.

    Original languageEnglish
    Pages (from-to)2447-2452
    Number of pages6
    JournalIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
    Issue number11
    Publication statusPublished - 2002 Nov


    • Contract net protocol
    • Finite state model
    • Formal specification
    • Multi-agent system

    ASJC Scopus subject areas

    • Hardware and Architecture
    • Information Systems
    • Electrical and Electronic Engineering


    Dive into the research topics of 'Specification and analysis of the contract net protocol based on state machine model'. Together they form a unique fingerprint.

    Cite this