詳細表示

No 78358
標題(和) コネクションレスネットワ-クにおけるフォ-ルトトレラントマルチパスル-ティングプロトコルの合成法
標題(英) A synthesis method for fault-tolerant muleipath routing protocols in connectionless Networks
研究会名(和) 交換システム; 情報ネットワ-ク; 通信方式
研究会名(英) Switching Systems Engineering;Information Networks; Communication Systems
開催年月日 1996-09-24
終了年月日 1996-09-25
会議種別コード 2
共催団体名(和)
資料番号 SSE96-93 // IN96-77 // CS96-101
抄録(和) ル-ティングプロトコル合成問題とはル-ティングの機能を有限状態機械(FSM)で記述したサ-ビス仕様が与えられ,プロトコルの動きをFSM記述したプロトコル仕様を導出するものである.本稿では,ソ-スとデスティネ-ションの間にあらかじめ経路を設定しないコネクションレスネットワ-クにおいて,経路やノ-ドの故障が起きても,少なくとも1つの経路を通してメッセ-ジを転送するル-ティングプロトコルの合成問題を解く.提案する合成法は以下の3つの基本ステップで構成される.(1)ソ-ス,あるいはデスティネ-ションとユ-ザの間でやりとりされるプリミティブを各ノ-ドの動作をあらわすプロトコル仕様に射影する.(2)メッセ-ジ送受信遷移生成規則に従い,ソ-スとデスティネ-ションに対して直接メッセ-ジを送受信する遷移をプロトコル仕様に付け加える.このプロトコル仕様ではメッセ-ジを中継するノ-ドの動作記述は存在しない.(3)各メッセ-ジに対して,ソ-スとデスティネ-ション間のル-プフリ-な経路を導出し,その経路を通してメッセ-ジを転送するための遷移を関連ノ-ドのプロトコル仕様に付け加える.
抄録(英) Routing Protocol synthesis problem discussed in this paper is the problem to derive a routing protocol specification modeled by FSM from a given routing specification modeled by FSM.In this paper, we propose a synthesis method to solve the routing protocol synthesis problem in connectionless networks such that each message can be delivered from its source node to its destination node through relay nodes even when a node or channel fails. The key ideas of the proposed method are as follows. (1) Primitives exchanged between users and source or destination nodes in the service specification are projected to the protocol specification of each protocol entity. (2) Using the transition synthesis rules transitions for directly delivering messages from the source node to the destination node are generated in the protocol specification of the source and destination nodes. (3) Transitions for delivering message through the loop-free communication paths from the source node to destination node generated in the protocol specification of the related nodes.
収録資料名(和) 電子情報通信学会技術研究報告
収録資料の巻号 Vol.96 No.251
ページ開始 109
ページ終了 114
キーワード(和) ル-ティングプロトコル
キーワード(英) Routing Protocol
本文の言語 ENG
著者(和) 菊野亨
著者(ヨミ) キクノトオル
著者(英) Kikuno Tohru
所属機関(和) 大阪大学基礎工学部情報科学科
所属機関(英) Department of Infarmation and Computer Sciences, Faculty of Engineering Science, Osaka University
著者(和) 角田良明
著者(ヨミ) カクダヨシアキ
著者(英) Kakuda Yoshiaki
所属機関(和) 大阪大学基礎工学部情報科学科
所属機関(英) Department of Infarmation and Computer Sciences, Faculty of Engineering Science, Osaka University
著者(和) 中村匡秀
著者(ヨミ) ナカムラマサヒデ
著者(英) Nakamura Masahide
所属機関(和) 大阪大学基礎工学部情報科学科
所属機関(英) Department of Infarmation and Computer Sciences, Faculty of Engineering Science, Osaka University
著者(和) 畑中豊
著者(ヨミ) ハタナカユタカ
著者(英) Hatanaka Yutaka
所属機関(和) 大阪大学基礎工学部情報科学科
所属機関(英) Department of Infarmation and Computer Sciences, Faculty of Engineering Science, Osaka University

WWW サーバ管理者
E-mail: webmaster@ieice.org