サービス競合における異常な状態への遷移の検出法
スポンサーリンク
概要
- 論文の詳細を見る
新しい通信サービスを既存サービスに追加する場合に,新サービスと既存サービス間の相互作用によって引き起こされるサービス競合は通信サービスを迅速に開発するうえでの大きな障害となっており,サービス競合検出法は重要な課題となっている.一方,最近のIN(Intelligent Network)の研究においては,通信システムに関する専門的な知識を必要とする交換機制御ソフトウェアの開発者に加えて,専門的な知識が無くても新しいサービスを提案できるスキルを持ったサービス開発者(非専門家)が通信サービスソフトウェアを設計できる支援手法が要求されている.本論文では,非専門家が形式的言語により記述したサービス仕様間の競合を検出することを目的とする.サービス競合を状態遷移の意味的矛盾として形式的に定義し,その定義に基づく自動検出法を提案する.本論文では,サービス仕様は端末状態とイベントに基づく状態遷移モデルで定義する.また,その状態遷移関係はif-then型ルールの集合で規定し,1つのルールが1つの状態遷移を表す.次に,意味的矛盾として2つのサービス仕様を同時に提供した場合に生成される異常な状態(単独サービス仕様には規定されていない状態)への遷移の定義と機械的な検出手法を提案する.更に,本手法に基づくサービス仕様競合の机上検出実験結果についても述べる.
- 一般社団法人情報処理学会の論文
- 1995-01-15
著者
-
高見 一正
創価大学大学院工学研究科情報システム工学専攻
-
高見 一正
NTTネットワークサービスシステム研究所
-
高見 一正
日本電信電話株式会社NTTサービスインテグレーション基盤研究所
-
太田 理
ATR通信システム研究所
-
太田 理
創価大学大学院工学研究科情報システム工学専攻
-
井上 泰彰
ATR通信システム研究所通信ソフトウェア研究室
-
高見 一正
創価大学工学部情報システム工学科
関連論文
- 携帯メールの絵文字・顔文字解析による趣味嗜好分析法 (情報ネットワーク)
- 携帯メールの絵文字・顔文字解析による気分推定法と楽曲推薦法(モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- 携帯メールの絵文字・顔文字解析による気分推定法と楽曲推薦法(一般セッション,モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- 相対距離感知型パーソナルサービス構成法(SNS,ユーザモデル)
- B-7-51 音声対話WebブラウジングのためのVoiceXMLメタデータ自動生成法(B-7.情報ネットワーク,一般セッション)
- ユビキタスネット環境におけるVoiceXMLメタデータ定義による音声対話Webブラウジング法(ユビキタス,WEB,アプリ)
- 高度INにおけるカスタマコントロール提供法の検討
- 高度INにおけるパーソナル通信サービス制御方式
- 視覚化に重点をおいたソフトウェア開発環境モデルとソフトウェア生産性の相関に関する一考察
- 高度INサービス展開のためのネットワークアーキテクチャ