| No | 49215 |
|---|---|
| 標題（和） | 高速・インテリジェントなトランスポ-ト・レイヤ-・プロトコルの様相論理による構成法 |
| 標題（英） | A MODAL LOGIC-BASED APPROACH FOR BUILDING HIGH-PERFORMANCE INTELLIGENT TRANSPORT LAYER PROTOCOLS |
| 研究会名（和） | 交換システム; 情報ネットワ-ク; 通信方式 |
| 研究会名（英） | Switching Systems Engineering; Information Networks; Communication Systems |
| 開催年月日 | 1993-09-30 |
| 終了年月日 | 1993-10-01 |
| 会議種別コード | 2 |
| 共催団体名（和） | |
| 資料番号 | SSE93-50 // IN93-57 // CS93-73 |
| 抄録（和） | 信頼性、スル-プット、および遅延にバラツキがあるパケット伝達ネットワ-クを介して、アプリケ-ションプログラム間の様々な通信モ-ドを効率よくサポ-トするためには、トランスポ-トレイヤ-のインテリジェント化が考えられる。即ち、要求されるプログラム間通信モ-ドと用いられるパケット伝達ネットワ-クの特性に対して、適応的にトランスポ-トプロトコルを変えていく方法である。具体的には、もし数種類の素単位プロトコルからトランスポ-トレイヤ-プロトコルを構成することが可能であれば、予め、全てのトランスポ-トノ-ドでその素単位プロトコルを実行する素単位オ-トマトンを多数用意し、サ-バ-からその組合せ方についての情報をダウンロ-ドし、実行モジュ-ルを生成する方法が考えられる。また、素単位オ-トマトンをハ-ドウエア化することによってプロトコルの高速化が可能になる。本論文では、この方法の実現を目指して、2つの通信エ-ジェントを対象とし、半順序集合と様相論理を用いて、素単位プロトコルからトランスポ-トレイヤ-プロトコルを構成するための理論的枠組を与える。 |
| 抄録（英） | Intelligent transport layers are necessary for effectively supporting the different program-to-program communication modes used by applications over packet delivery networks with different throughput,delay,and reliability characteristics.By an intelligent transport layer we mean a method for adaptively selecting and executing the transport protocol that bests services the program-to-program communication mode to be used by applications under the current conditions of the underlying packet delivery network.If transport layer protocols could be built from a small number of furtherly indivisible,primitive protocols,then a possible method would be storing at all transport nodes a set of small automata that execute primitive protocols,downloading from a network server just the information about how to interconnect these automata,and generating at the nodes the module that executes the transport protocol.This approach is appealing because it is machine-independent and because high-performance can be achieved if the automata are implemented in hardware.In this paper,and aiming at the realization of this method,we present a framework based on partial-ordered sets and modal logic for building transport layer protocols from a set of primitive protocols. |
| 収録資料名（和） | 電子情報通信学会技術研究報告 |
| 収録資料の巻号 | Vol.93 No.256,257,258,259,260,261 |
| ページ開始 | 71 |
| ページ終了 | 76 |
| キーワード（和） | 様相論理 |
| キーワード（英） | Modal Logic |
| 本文の言語 | JPN |
| 著者（和） | 辻井重男 |
| 著者（ヨミ） | ツジイシゲオ |
| 著者（英） | Tsujii Shigeo |
| 所属機関（和） | 東京工業大学工学部 |
| 所属機関（英） | TOKYO INSTITUTE OF TECHNOLOGY |
| 著者（和） | 佐竹禎 |
| 著者（ヨミ） | サタケタダシ |
| 著者（英） | Satake Tadashi |
| 所属機関（和） | 松下電工株式会社 |
| 所属機関（英） | MATSUSHITA ELECTRIC WORKS |
| 著者（和） | カルドナマリオ |
| 著者（ヨミ） | |
| 著者（英） | Cardona Mario |
| 所属機関（和） | 東京工業大学工学部 |
| 所属機関（英） | TOKYO INSTITUTE OF TECHNOLOGY |