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