通信プロトコルにおける状態遷移表現の自動生成の一方式
スポンサーリンク
概要
- 論文の詳細を見る
通信プロトコルの複雑化に伴い、これをわかりやすく厳密に記述するための技術が必要となり、各種の形式記述法が提案されている。ところが、現実のプロトコル製品の実現においては、仕様は主としてイベントの系列として記述され、それをもとに担当者が、膨大な量の遷移表をじかに書き下すことが行なわれている。このような場合に計算機を用いて、状態遷移表の作成を支援することができれば、大いに有用であろう。そこで本稿では、イベントの順序による表現から状態遷移表現を得る方法について、現在検討している内容を報告する。
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
関連論文
- トランスピュータによる高速通信プロトコルXTPの性能評価
- トランスピュータを用いたプロトコルシミュレータの構成
- ATMネットワーク上の大容量データ通信におけるTCP/IPの評価およびその課題
- ATMネットワーク上の動画像通信におけるTCP/IPの評価およびその課題
- 経験空間における記憶検索
- 知識工学的手法を用いた旅行案内システムの試作
- B-10-117 符号化パイロットトーン光ラベルによる WDM リングネットワークの提案
- ブロードキャストメモリ方式による分散処理システムのセマフォとその管理
- ブロードキャストメモリマルチプロセッサシステムの性能評価
- 14)TV画像のFAX出力のためのフォーマット変換の一方式((画像表示研究会(第39回)視覚情報研究会(第29回))合同)
- アンケート寄稿 21世紀の映像情報メディアはどうなるか?(2.21世紀の映像情報メディアはどうなるか : 30年前の予測と現在, そして将来)(創立50周年記念特集)
- リアルタイムMPEGソースのモデル化に関する考察
- 会話型操作を伴う分散マルチメディアシステムにおける同期機構の評価
- リアルタイム型分散エディタにおけるバッファ間の一貫性制御方式
- 多層構造プロトコルを用いたネットワークの伝送効率の評価式
- 多層プロトコルを持つネットワークの待ち行列網モデルによる性能評価
- 音声データ統合のためのマルチスターLANのプロトコルとその性能評価
- マルチメディアシステムにおけるコンピュータグラフィックスと動画像の同期
- ATM網の動画像通信におけるバーストトラヒック制御
- ATMネットワークにおけるバーストレベルのトラヒック制御
- ATM網におけるバーストレベルのトラヒック制御のモデル化
- 移動体通信における多元トラヒックチャネル割り当て法 : Hacking方式の検討
- ユーザに合わせたモダリティが選択可能なインタフェース・ツールキット
- 超並列C言語NCXにおける式の遠隔評価
- 異機種間分散共有メモリ用コンパイラシステムの性能評価
- ATMを用いた複製型共有メモリシステム
- プロトコルにおける並列動作を含むイベントシーケンスの生成と表示
- 通信プロトコルにおける状態遷移表現の自動生成の一方式
- データ並列言語Dataparallel Cのマルチスレッドへの実装
- バーストトラヒックのためのRBM技法の研究
- 20GHz帯マルチメディア移動通信電波伝搬実験システム : 屋外実験(速報)結果 (その1)
- 異機種間分散共有メモリシステムのためのソフトウェアサポート
- 分散OS COSMOS2のカーネル基盤
- 分散OS COSMOS2における負荷分散
- ブロードキャストメモリ方式による分散処理コンピュータシステム
- トランスポート層の多重化を考慮した多層構造プロトコルの性能評価
- 分散OS COSMOS2におけるプロセス間通信の評価