Presentation | 1999/11/18 Protocol Specification Method Based on the Computation of the Knowledge State of the Protocol Entities (I) Masatoshi Nakamata, Mario Cardona, Shigeo Tsujii, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In this paper we present by means of an example a protocol specification method that we developed based on the idea that a protocol entity tells to its partner in the communication what the protocol entity knows but the partner that does not know. The method's main feature is that what a protocol entity knows and does not know during the execution of the protocol (which we call its knowledge state) is represented using a modal logic formula that is obtained by means of a computation. The knowledge state includes the effect of the message delivery properties of the transmission medium upon the communication. However, the only requirement that we place on the transmission medium is to deliver messages unchanged. The main characteristics of protocols specified using our method are the following. Protocol entity states and messages have a precise meaning. Unspecified reception errors are not possible. Each protocol entity is able to detect deadlock by inspection of its knowledge state. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | protocol specification / protocol entity / knowledge state |
Paper # | IN99-69 |
Date of Issue |
Conference Information | |
Committee | IN |
---|---|
Conference Date | 1999/11/18(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Information Networks (IN) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Protocol Specification Method Based on the Computation of the Knowledge State of the Protocol Entities (I) |
Sub Title (in English) | |
Keyword(1) | protocol specification |
Keyword(2) | protocol entity |
Keyword(3) | knowledge state |
1st Author's Name | Masatoshi Nakamata |
1st Author's Affiliation | Graduate School of Science and Engineering, Chuo University() |
2nd Author's Name | Mario Cardona |
2nd Author's Affiliation | NOKIA JAPAN |
3rd Author's Name | Shigeo Tsujii |
3rd Author's Affiliation | Faculty of Science and Engineering, Chuo University |
Date | 1999/11/18 |
Paper # | IN99-69 |
Volume (vol) | vol.99 |
Number (no) | 436 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |