規則形式の通信サービス仕様からのプロトコル合成
スポンサーリンク
概要
- 論文の詳細を見る
通信サービス仕様からのソフトウェア自動生成を目的として, 端末に関する広域状態遷移規則の集合として記述された通信サービス仕様から端末対応に局所状態を保持するプロトコルエンティティの仕様を導出するプロトコル合成法を提案する. 通信サービス仕様を有向グラフの書換え規則の集合として表現し, 適用条件を満足する規則探索のための通信を行うプロトコルエンティティの仕様を導出する. 各プロトコルエンティティは, 通信システム全体を表す有向グラフに含まれる同型な部分グラフを探索する分散アルゴリズムを実現する. 規則適用の条件を表すグラフは任意の連結な有向グラフであり, すべての頂点を1回だけ通る有向路が存在するグラフという制限を設けた場合に得られるプロトコルと通信回数に関して同じ性能を有する. 生成されるプロトコル仕様は, 最終的に通信システム上で動作可能なプログラムに変換することにより, 実際の通信ソフトウェア開発に適用することが可能である. 提案するプロトコル合成法に基づき通信サービス仕様から生成されるソフトウェアが実用的な性能を有することを, PBXソフトウェア開発への適用結果により示す.
- 1997-01-25
著者
-
太田 理
創価大学大学院工学研究科
-
太田 理
ATR通信システム研究所
-
田倉 昭
ATR通信システム研究所
-
田倉 昭
十文字学園女子大学
-
世良 孝文
Atr通信システム研究所:nec C&c基盤開発研究所
関連論文
- インテリジェントセンササーバソフトウェア構成法(センサネットワーク)
- ホームネットワークにおける機器仮想化ソフトウェア構成法(SIP/NGN・一般)
- ルールベース言語によるWebサービス開発法(プロトコル・一般)
- ホームネットワークにおけるサービス競合検出法に関する一考察(映像通信,コンテンツ配信ネットワーク,マルチキャスト,一般)
- B-19-6 ホームネットワークにおけるサービス競合検出法に関する一考察(B-19.ネットワークソフトウェア,一般講演)
- B-6-206 サービス競合回避のためのサービス起動制御法(B-6. ネットワークシステム)
- B-6-137 システム走行時のサービス競合の回避法
- B-6-205 複数のゲートキーパーに対するルールベース言語の適用の-考察
- ネットワークセントリックなアプローチを用いたロボット制御のためのソフトウェアアーキテクチャ(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- B-19-15 ルールベース言語によるプログラム記述法の一考察(B-19.ネットワークソフトウェア,一般セッション)
- B-19-14 ルールの集合から状態遷移図を直接獲得する手法の一考察(B-19.ネットワークソフトウェア,一般セッション)
- B-6-25 基本状態遷移図から拡張状態遷移図への自動変換 : 分岐条件の自動抽出(B-6.ネットワークシステム,一般セッション)
- B-19-12 ロボットに依存しない共通の制御方法に関する一考察(B-19. ネットワークソフトウェア,一般セッション)
- B-20-16 ネットワークを用いたロボット間通信支援に関する一考察(B-20.ユビキタス・センサネットワーク,一般セッション)
- B-6-50 ルールベース言語で記述したサービスプログラムの開発支援(B-6.ネットワークシステム,一般セッション)
- B-19-5 ルールベース言語で書かれたプログラムから状態遷移図の自動獲得(B-19.ネットワークソフトウェア,一般セッション)
- B-19-7 非電話サービスにおけるサービス競合検出法に関する一考察(B-19.ネットワークソフトウェア,一般セッション)
- B-19-22 物理ネットワーク非依存のホームネットワークプログラム構成法(B-19. ネットワークソフトウェア,一般セッション)
- B-19-8 ネットワークサービス仕様の自動獲得法(B-19. ネットワークソフトウェア,一般セッション)
- B-20-19 位置検出センサーを用いた危険回避サービスに関する一考察(B-20.ユビキタス・センサネットワーク,一般講演)
- B-19-12 ルールベース言語を用いたWebサービスプログラム作成(B-19.ネットワークソフトウェア,一般講演)
- B-7-2 人とネットワークロボットとの会話のためのソフトウェアに関する一考察(B-7.情報ネットワーク,一般講演)
- B-19-13 サービス競合検出におけるイベントの変化の識別法(B-19.ネットワークソフトウェア,一般講演)
- B-19-12 状態遷移モデルの非電話系サービスへの適用法の一考察(B-19.ネットワークソフトウェア,一般講演)
- B-19-11 ルールベース言語を用いた複数端末一括制御法に関する一考察(B-19.ネットワークソフトウェア,一般講演)
- 知識を用いたサービス競合検出システムの試作と評価(次世代ネットワークソフトウェア論文特集)
- B-6-54 3つのサービスによる競合発生のメカニズムに関する考察
- プロダクションルールによるマルチメディアサービス仕様記述の一考察
- プロダクションルールによるマルチメディアサービス仕様記述の一考察
- 通信サービスにおけるダウンサイジングに向けたソフトウェアアーキテクチャ
- STRによるマルチメディアサービスの仕様記述に関する一検討
- B-21-7 アドホックネットワークにおける高信頼性化と省電力化のための集中制御アルゴリズム(B-21.アドホックネットワーク,一般セッション)
- MANETにおける距離と電池を考慮したブロードキャスト手法(ネットワークソフトウェア論文)
- B-21-5 マルチホップ無線ネットワークにおける経路信頼性維持と送信電力最小化の一考察(B-21. アドホックネットワーク,一般セッション)
- B-21-20 マルチホップ無線ネットワークにおける送信電力と経路信頼性との関係(B-21.アドホックネットワーク,一般講演)
- 競合検出システムの試作と評価
- 競合検出システムの試作と評価
- サービス競合検出における端末割当数削減法
- 非決定性競合における到達可能性の高速判定法
- 非決定性競合における到達可能性の高速判定法
- B-6-53 非決定性競合の効率的検出法
- 競合検出における端末割り当ての最少化 : 端末割り当て数削減法の証明
- 非決定性競合における到達可能性の高速判定法
- 競合検出における端末割り当てに関する一考察
- 静的競合検出法の性質に関する考察 : 競合の重複検出の回避
- 静的競合検出法の性質に関する考察 : 競合の重複検出の回避
- B-6-36 サービス競合検出アルゴリズムの評価
- B-6-35 サービス競合検出プログラムに関する一考察
- 競合検出のための知識の自動獲得法
- サービス競合の静的検出法(ネットワークソフトウェア)
- 静的競合検出法の性質に関する考察--競合の重複検出の回避
- サービス競合防止に関する一考察 : オントロジーの活用
- 知識を利用したサービス競合の検証法
- ネットワークを支えるソフトウェア技術論文特集の発行にあたって
- 電話サービスの競合検出に関する技術動向
- ネットワークソフトウェア論文小特集の発行にあたって
- 通信サービス競合の検出と解決
- 競合検出のための仕様実行モデル(ネットワークソフトウェア論文)
- B-19-4 携帯電話によるロボット制御の一考察(B-19.ネットワークソフトウェア,一般講演)
- 適応型システムとサービス競合
- B-19-17 CCMからHCMへの自動変換法の提案(B-19.ネットワークソフトウェア,一般セッション)
- 見かけの大きさに従った画像の再生法 : 物体の提示位置が物体の大きさ知覚に及ぼす効果
- 見えの大きさに従った画像再生法 : 近接した二つの球の画像(「感性情報処理の基礎と応用」及びヒューマン情報処理一般)
- B-19-29 ルールベース言語を用いたサービスプログラム記述に関する一考察(B-19. ネットワークソフトウェア, 通信2)
- B-19-31 プログラマブル・サーバを用いたプログラマブル・アドホックネットワークの構築法(B-19.ネットワークソフトウェア, 通信2)
- B-19-5 プログラム検索法の一考察(B-19.ネットワークソフトウェア,一般講演)
- B-19-19 インテリジェントネームサーバ構想の提案(B-19.ネットワークソフトウェア, 通信2)
- B-19-5 サービス実行時の競合回避法の一考察(B-19.ネットワークソフトウェア, 通信2)
- B-19-4 サービスプログラムの記述支援法(B-19.ネットワークソフトウェア, 通信2)
- B-19-30 見かけの競合の識別のためのサービス仕様の変換法(B-19. ネットワークソフトウェア, 通信2)
- 仕様記述におけるHCMからCCMへの自動変換(仕様技術, 次世代ネットワークソフトウェア論文)
- 見かけの競合の識別のためのサービス仕様の変換法
- 見かけの競合の識別のためのサービス仕様の変換法
- 見かけの競合の識別のためのサービス仕様の変換法
- 見かけの競合の識別のためのサービス仕様の変換法
- SB-6-1 みかけの競合のフィルタリング手法(SB-6. ネットワークソフトウェアの課題)
- 通信サービス要求記述における概念の理解手法
- B-6-203 サービス競合解消の工数削減の一考察(B-6. ネットワークシステム)
- B-6-139 サービス競合の解消支援に関する一考察
- B-6-58 三者競合検出プログラムに関する一考察
- B-6-134 CCM に対応する HCM のルールの選択アルゴリズム : HCM から CCM への自動変換
- 規則形式の通信サービス仕様からのプロトコル合成
- プロダクションルールに基づく通信サービス仕様記述法 : 条件判定記述についての一考察
- B-6-136 非決定性競合の自動解消アルゴリズムに関する一考察
- B-6-133 ユーザメイドホームネットワークの提案
- オントロジーによる通信サービス要求定義手法
- B-19-6 状態遷移図のCCMからHCMへの自動変換法(B-19.ネットワークソフトウェア,一般セッション)
- 宣言型言語を用いたActive Networksの構築法
- 状態遷移図のCCMからHCMへの自動変換手法 (情報ネットワーク)
- B-6-205 プログラムの自動生成のためのオントロジーに関する一考察(B-6. ネットワークシステム)
- B-6-71 アドホックネットワーク実験用エミュレータの構築(B-6. ネットワークシステム)
- B-6-138 仕様記述とサービス競合検出の関係に関する一考察
- B-6-135 ネットワーク制御記述の支援アルゴリズム
- B-6-46 宣言型言語を用いたアクティブネットワークに関する一考察
- 次世代ネットワークソフトウェア論文特集の発行にあたって(次世代ネットワークソフトウェア論文特集)
- B-6-79 宣言型言語におけるマクロ変数処理に関する一考察
- B-6-52 宣言型言語を用いたシステムのインタプリタに関する一考察 : ルール選択のための探索空間の削減
- サービス競合における静的検証法
- サービス競合における静的検証法
- 通信システムにおけるサービス競合の形式的定義