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

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

    Research output: Contribution to journalArticle

    3 Citations (Scopus)

    Abstract

    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
    VolumeE85-A
    Issue number11
    Publication statusPublished - 2002 Nov

    Fingerprint

    State Machine
    Formal Specification
    Specification
    Specifications
    Network protocols
    Finite automata
    Passage Time
    Agent Systems
    Deadlock
    Model
    Formal specification

    Keywords

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

    ASJC Scopus subject areas

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

    Cite this

    Specification and analysis of the contract net protocol based on state machine model. / Itabashi, Goichi; Haramoto, Yoshiaki; Kato, Yasushi; Takahashi, Kaoru; Shiratori, Norio.

    In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E85-A, No. 11, 11.2002, p. 2447-2452.

    Research output: Contribution to journalArticle

    Itabashi, Goichi ; Haramoto, Yoshiaki ; Kato, Yasushi ; Takahashi, Kaoru ; Shiratori, Norio. / Specification and analysis of the contract net protocol based on state machine model. In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2002 ; Vol. E85-A, No. 11. pp. 2447-2452.
    @article{a9854588cdb449c48201113bc7cc3297,
    title = "Specification and analysis of the contract net protocol based on state machine model",
    abstract = "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.",
    keywords = "Contract net protocol, Finite state model, Formal specification, Multi-agent system",
    author = "Goichi Itabashi and Yoshiaki Haramoto and Yasushi Kato and Kaoru Takahashi and Norio Shiratori",
    year = "2002",
    month = "11",
    language = "English",
    volume = "E85-A",
    pages = "2447--2452",
    journal = "IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences",
    issn = "0916-8508",
    publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",
    number = "11",

    }

    TY - JOUR

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

    AU - Itabashi, Goichi

    AU - Haramoto, Yoshiaki

    AU - Kato, Yasushi

    AU - Takahashi, Kaoru

    AU - Shiratori, Norio

    PY - 2002/11

    Y1 - 2002/11

    N2 - 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.

    AB - 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.

    KW - Contract net protocol

    KW - Finite state model

    KW - Formal specification

    KW - Multi-agent system

    UR - http://www.scopus.com/inward/record.url?scp=0036880915&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=0036880915&partnerID=8YFLogxK

    M3 - Article

    AN - SCOPUS:0036880915

    VL - E85-A

    SP - 2447

    EP - 2452

    JO - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

    JF - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

    SN - 0916-8508

    IS - 11

    ER -