サービス競合における異常な状態への遷移の検出法

概要

論文の詳細を見る
新しい通信サービスを既存サービスに追加する場合に,新サービスと既存サービス間の相互作用によって引き起こされるサービス競合は通信サービスを迅速に開発するうえでの大きな障害となっており,サービス競合検出法は重要な課題となっている.一方,最近のIN(Intelligent Network)の研究においては,通信システムに関する専門的な知識を必要とする交換機制御ソフトウェアの開発者に加えて,専門的な知識が無くても新しいサービスを提案できるスキルを持ったサービス開発者(非専門家)が通信サービスソフトウェアを設計できる支援手法が要求されている.本論文では,非専門家が形式的言語により記述したサービス仕様間の競合を検出することを目的とする.サービス競合を状態遷移の意味的矛盾として形式的に定義し,その定義に基づく自動検出法を提案する.本論文では,サービス仕様は端末状態とイベントに基づく状態遷移モデルで定義する.また,その状態遷移関係はif-then型ルールの集合で規定し,1つのルールが1つの状態遷移を表す.次に,意味的矛盾として2つのサービス仕様を同時に提供した場合に生成される異常な状態(単独サービス仕様には規定されていない状態)への遷移の定義と機械的な検出手法を提案する.更に,本手法に基づくサービス仕様競合の机上検出実験結果についても述べる.
一般社団法人情報処理学会の論文
1995-01-15

サービス競合における異常な状態への遷移の検出法

スポンサーリンク

概要

著者

関連論文

スポンサーリンク