講演名 1995/9/28
通信プロトコルのやわらかい合成法
ビスタ ベッド バハドゥール, 勝倉 真, 高橋 薫, 神長 裕明, 白鳥 則郎,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 設計者あるいは利用者の新しい要求に適合するために,すでに存在している通信プロトコルの仕様を変更しなければならないことがある.通常プロトコル合成法は,新たに通信プロトコルを設計する時に,プロトコル仕様を合成する目的で使われている.これらの技法は,新しい要求に適合するようにプロトコル仕様を変更する場合には有効ではない.本稿では,このような状況に有効となる,プロトコルのやわらかい合成法を提案する.
抄録(英) From time to time it is desirable to change an existing protocol specification to adopt new (designer's or user's) requirements. Traditional protocol synthesis techniques are usually applied to synthesize protocol specifications when designing new protocols. These techniques are not so efficient and flexible when the protocol specification is to be changed to adopt the new requirements. We propose a flexible protocol synthesis method which changes the existing protocol specifications to adopt the new requirements.
キーワード(和) プロトコル / やわらかい合成法 / 論理エラー
キーワード(英) protocol / flexible protocol synthesis / logical errors
資料番号 SSE95-69,IN95-40,CS95-89
発行日

研究会情報
研究会 SSE
開催期間 1995/9/28(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Switching Systems Engineering (SSE)
本文の言語 ENG
タイトル(和) 通信プロトコルのやわらかい合成法
サブタイトル(和)
タイトル(英) A Flexible Protocol Synthesis Method
サブタイトル(和)
キーワード(1)(和/英) プロトコル / protocol
キーワード(2)(和/英) やわらかい合成法 / flexible protocol synthesis
キーワード(3)(和/英) 論理エラー / logical errors
第 1 著者 氏名(和/英) ビスタ ベッド バハドゥール / Bhed Bahadur Bista
第 1 著者 所属(和/英) 東北大学電気通信研究所 情報科学研究科
Research Institute of Electrical Communication, Graduate School of Information Sciences, Tohoku University
第 2 著者 氏名(和/英) 勝倉 真 / Makoto Katsukura
第 2 著者 所属(和/英) 東北大学電気通信研究所 情報科学研究科
Research Institute of Electrical Communication, Graduate School of Information Sciences, Tohoku University
第 3 著者 氏名(和/英) 高橋 薫 / Kaoru Takahashi
第 3 著者 所属(和/英) 仙台電波工業高等専門学校
Sendai National College of Technology
第 4 著者 氏名(和/英) 神長 裕明 / Hiroaki Kaminaga
第 4 著者 所属(和/英) 山形大学工学部電子工学科
Faculty of Engineering, Yamagata Univ.
第 5 著者 氏名(和/英) 白鳥 則郎 / Norio Shiratori
第 5 著者 所属(和/英) 東北大学電気通信研究所 情報科学研究科
Research Institute of Electrical Communication, Graduate School of Information Sciences, Tohoku University
発表年月日 1995/9/28
資料番号 SSE95-69,IN95-40,CS95-89
巻番号(vol) vol.95
号番号(no) 266
ページ範囲 pp.-
ページ数 6
発行日