| 講演名 | 1999/11/18 プロトコルエンティティの知識状態の計算による通信プロトコル記述法 (I) 仲俣 正利, カルドナ マリオ, 辻井 重男, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本論文では,プロトコルエンティティが持っている知識をその知識を持っていない相手に伝えるという考えを基に我々が開発したプロトコル記述法を具体例を用いて紹介する.本記述法の特徴は,プロトコル実行中,プロトコルエンティティが知っている・わからないこと(知識状態と呼ぶ.様相論理式で表す)を計算して求めることである.知識状態に通信媒体の性質が反映されている.ただし,受信されたメッセージの内容が送信された時と異ならないこと以外に制約を置かない.本提案で記述したプロトコルの特徴は3つある.プロトコルエンティティの状態の意味とメッセージの内容を正確に表している,未定義受信がありえない,各プロトコルエンティティが自分の知識状態を調べることにより,デッドロックがあるかどうか判定できることである. |
| 抄録(英) | 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. |
| キーワード(和) | プロトコル記述 / プロトコルエンテイテイ / 知識状態 |
| キーワード(英) | protocol specification / protocol entity / knowledge state |
| 資料番号 | IN99-69 |
| 発行日 |
| 研究会情報 | |
| 研究会 | IN |
|---|---|
| 開催期間 | 1999/11/18(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Information Networks (IN) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | プロトコルエンティティの知識状態の計算による通信プロトコル記述法 (I) |
| サブタイトル（和） | |
| タイトル（英） | Protocol Specification Method Based on the Computation of the Knowledge State of the Protocol Entities (I) |
| サブタイトル（和） | |
| キーワード(1)（和/英） | プロトコル記述 / protocol specification |
| キーワード(2)（和/英） | プロトコルエンテイテイ / protocol entity |
| キーワード(3)（和/英） | 知識状態 / knowledge state |
| 第 1 著者 氏名（和/英） | 仲俣 正利 / Masatoshi Nakamata |
| 第 1 著者 所属（和/英） | 中央大学大学院理工学研究科情報工学専攻 Graduate School of Science and Engineering, Chuo University |
| 第 2 著者 氏名（和/英） | カルドナ マリオ / Mario Cardona |
| 第 2 著者 所属（和/英） | ノキアジャパン NOKIA JAPAN |
| 第 3 著者 氏名（和/英） | 辻井 重男 / Shigeo Tsujii |
| 第 3 著者 所属（和/英） | 中央大学理工学部情報工学科 Faculty of Science and Engineering, Chuo University |
| 発表年月日 | 1999/11/18 |
| 資料番号 | IN99-69 |
| 巻番号（vol） | vol.99 |
| 号番号（no） | 436 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |