抄録
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.
| 元の言語 | English |
|---|---|
| ページ（範囲） | 2447-2452 |
| ページ数 | 6 |
| ジャーナル | IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences |
| 巻 | E85-A |
| 発行部数 | 11 |
| 出版物ステータス | Published - 2002 11 |
Fingerprint
ASJC Scopus subject areas
- Hardware and Architecture
- Information Systems
- Electrical and Electronic Engineering
これを引用
Specification and analysis of the contract net protocol based on state machine model. / Itabashi, Goichi; Haramoto, Yoshiaki; Kato, Yasushi; Takahashi, Kaoru; Shiratori, Norio.
：: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 巻 E85-A, 番号 11, 11.2002, p. 2447-2452.研究成果: Article
}
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 -