Specification and Analysis of the Contract Net Protocol Based on State Machine Model
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.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E85-A No.11 pp.2447-2452
- Publication Date
- 2002/11/01
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- Special Section LETTER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- Category
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Goichi ITABASHI, Yoshiaki HARAMOTO, Yasushi KATO, Kaoru TAKAHASHI, Norio SHIRATORI, "Specification and Analysis of the Contract Net Protocol Based on State Machine Model" in IEICE TRANSACTIONS on Fundamentals,
vol. E85-A, no. 11, pp. 2447-2452, November 2002, doi: .
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.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e85-a_11_2447/_p
Copy
@ARTICLE{e85-a_11_2447,
author={Goichi ITABASHI, Yoshiaki HARAMOTO, Yasushi KATO, Kaoru TAKAHASHI, Norio SHIRATORI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Specification and Analysis of the Contract Net Protocol Based on State Machine Model},
year={2002},
volume={E85-A},
number={11},
pages={2447-2452},
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={},
doi={},
ISSN={},
month={November},}
Copy
TY - JOUR
TI - Specification and Analysis of the Contract Net Protocol Based on State Machine Model
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2447
EP - 2452
AU - Goichi ITABASHI
AU - Yoshiaki HARAMOTO
AU - Yasushi KATO
AU - Kaoru TAKAHASHI
AU - Norio SHIRATORI
PY - 2002
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E85-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 2002
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.
ER -
English
