通信サービスの手続き型記述から宣言型記述への仕様変換法の拡張
スポンサーリンク
概要
- 論文の詳細を見る
通信サービス仕様検証能力の向上を目的として、手続き型仕様記述であるメッセージシーケンスチャート (MSC) から宣言型仕様記述である状態遷移規則 (STR) への仕様変換法が検討されている。本稿では、将来規定されるであろう未知のサービスのMSC仕様記述に対しても柔軟に適用可能である仕様変換の改良方式を提案する。本方式では、MSC各記述要素間の普遍的関連性に着目した新しい変換アルゴリズムを導入している。また、提案方式に基づく仕様記述自動変換システムの構成法についても示す。
- 社団法人電子情報通信学会の論文
- 1995-09-28
著者
-
池田 博昌
大阪大学工学部
-
戸出 英樹
大阪大学工学部通信工学科
-
滝本 周平
大阪大学工学部
-
滝本 周平
大阪大学大学院工学研究科通信工学
-
池田 博昌
大阪大学工学部通信工学科
-
尾尻 健
大阪大学工学部
-
尾尻 健
大阪大学工学部通信工学科
-
戸出 英樹
大阪大学工学部
関連論文
- B-6-21 自己相似性のあるトラヒックの帯域予測に関する研究
- 多重VC数の影響が少ないレートベース型ふくそう制御
- 適応パラメータを用いたフィードバック型レート制御方式
- 適応パラメータを用いたフィードバック型レート制御方式の検討
- 相関性のある到着過程とサービス過程を有する離散時間有限容量単一サーバ待ち行列の解析
- ATM 網をベースにした仮想 STM 伝送方式
- 実トラヒックに基づく高速ハーストパラメータ算出法
- B-7-20 高速ハーストパラメータ算出法に関する検討
- LANトラヒックの情報種別に応じた自己相似性に関する検討
- スクリーニングサービスを含めた通信サービス仕様エミュレータの構築及び評価(ネットワークソフトウェア)
- 多元接続サービスへの仕様記述拡張に関する検討(マルチメディアを支える通信技術)
- 通信サービス仕様検証エミュレータのスクリーニングサービス実現に関する検討
- マルチメディアサービスへの仕様記述拡張法に関する一検討 : マルチコネクション・マルチポイント接続サービスに向けて
- 通信サービス仕様検証エミュレータの構築及び評価
- 通信サービス仕様検証エミュレータの構成法に関する検討
- HIPPI-ATM変換におけるフロー制御方式の解析的性能評価
- HIPPI-ATM変換におけるフロー制御方式の性能評価
- スクリプト言語を用いたシナリオプログラム構築支援環境(ネットワークソフトウェア)
- インタプリタ言語を用いたOpS構築支援システム
- B-6-136 無線伝搬状況を考慮に入れた高能率TCP転送方式に関する検討
- 21世紀へ向けた情報通信研究開発の展望
- 分散処理型情報ネットワークにおけるデータ配置に関する検討
- 無線LANにおけるPRMA/URN方式
- C++オブジェクト指向設計 石川宏(編),小柳恵一著
- バーチャルパス環境に適した同報トラヒック経路設定方式
- 通信サービス仕様検証エミュレータの構築及び評価
- B-6-171 高品質映像配信に適した時間制約付きマルチキャスト方式
- ATM-LANにおけるトラヒック予測を用いた輻輳検出法に関する検討
- マルチメディアサービスへの仕様記述拡張法に関する一検討 : マルチコネクション・マルチポイント接続サービスに向けて
- ATM網における無線端末収容の際の誤り制御に関する性能評価
- B-7-6 MPLSにおける復旧率を考慮した動的なLSP設定法の検討
- 分散システムにおけるプロセス移動確率を用いた負荷分散制御
- 統計的負荷情報を用いた自律負荷分散制御
- 波長多重バッファを用いた光ATMスイッチの提案
- 波長多重光ATMネットワークにおける有効なスイッチ構造
- 光ATMネットワークにおけるマルチセル伝送方式に関する検討
- ATM網におけるMulti-Reliabilityを考慮したSelf-Healing方式
- 超高速ネットワークにおける中継バッファリングノードを用いたフロー制御方式
- ニューラルネットワークを用いたトラヒック予測器とその特性
- IP網における情報応答転送速度を改善する淘汰型輻輳制御に関する検討
- ATM網におけるBest-effortクラスVPの経路設定方式
- ATM網におけるBest-effortクラスVPの経路設定方式
- ATM網におけるBest-effortクラスVPの経路設定方式
- 同報通信網設計のためのコピーノード配置法
- ATM交換機におけるハイブリッド型優先制御方式の電力通信網への適用検討
- ATM網におけるBest-effortクラスVPの高信頼経路設定に関する検討
- 適応型負荷分散マルチキャスト経路設定法に関する検討
- 適応型負荷分散マルチキャスト経路設定法に関する検討
- 分散システムにおけるプロセスバッファを用いた動的負荷分散方式
- 分散システムにおけるプロセスバッファを用いた動的負荷分散方式
- プロセスバッファを用いた負荷分散方式に関する一検討
- 実測データに基づく制御所LANにおけるトラヒック特性解析
- 同報通信用コピーノード選定アルゴリズムの改良
- 同報通信網設計のためのコピーノード配置法
- 同報通信網設計のためのコピーノード配置法に関する一検討
- ATM網におけるQ-STM方式の適用に関する定量的評価
- 時刻の概念に基づく通信サービス仕様記述言語STRの拡張に関する研究
- 中継バッファリング機能を用いた高スループット伝送方式の検討
- HIPPI-ATM接続における優先クラス別フロー制御方式
- HIPPI-ATM接続における優先クラス別フロー制御方式
- 通信サービスの手続き型記述から宣言型記述への仕様変換法の拡張
- 通信サービス仕様の手続き型記述から宣言型記述への変換システムの構築と評価
- 分散仮想記憶指向型情報ネットワークにおける動的メモリ割り当ての評価
- ニューラルネットワークによるトラヒック予測の検討
- コンピューターネットワークにおけるトラヒック特性の検討
- Gbpsネットワークにおける拡散可変長セル伝送方式
- Q-STM方式におけるサブフレーム内割当てスロット数算出方法の検討
- ニューラルネットワークを用いたトラヒックシェーピング方式
- ニューラルネットワークを用いた回線上トラヒックシェーピング方式
- VP帯域可変ATM網におけるPre-plan型とReal-time型故障復旧方式の比較評価
- 要求通信品質別コスト導出関数を用いた経路選択法とその評価
- Flooding型故障復旧方式の復旧メッセージ量低減機構の検討
- 復旧メッセージ量低減と高速迂回ルート選択機能を有するFlooding型故障復旧方式の検討
- 復旧メッセージ量低減と高速迂回ルート選択機能を有する Flooding 型故障復旧方式の検討
- 出力バッファ型ATM交換機における不均質負荷条件下での同報トラヒック収容効果
- 不均質出力負荷条件下における出力バッファ型ATM交換機の同報セル収容特性の検討