通信サービス相互作用に含まれる意味的矛盾動作検出方式
スポンサーリンク
概要
- 論文の詳細を見る
通信サービスを既存サービスに追加する際には,追加サービスと既存サービスとの相互作用(サービスインターラクション)を解析し,サービス仕様間に生じる矛盾を解消し,サービス全体として矛盾のない仕様を作成する必要がある.本稿では,相互作用に含まれる意味的矛盾動作に着目し,機械的に意味的矛盾動作を検出する方式を提案する.通信サービス動作は,すでに提案しているSTR手法を用いて形式的な規則形式で記述されていることを前提とする.提案方式では,矛盾状態知識を用い,サービス合成動作生成時に矛盾状態を判定し,初期状態から矛盾状態に至る状態遷移を検出する.提案方式をシステムとして試作し,実際に5つのサービスを記述し,サービスを組み合わせて,意味的矛盾動作の検出実験を行った.実験の結果,効率的に意味的矛盾動作の検出が可能になり,原因解析支援が容易に実現できた.
- 一般社団法人情報処理学会の論文
- 1994-08-15
著者
-
高見 一正
創価大学大学院工学研究科情報システム工学専攻
-
高見 一正
日本電信電話株式会社NTTサービスインテグレーション基盤研究所
-
原田 良雄
ATR通信システム研究所
-
太田 理
ATR通信システム研究所
-
寺島 信義
Atr通信システム研
-
寺島 信義
早稲田大学
-
高見 一正
ATR通信システム研究所
-
高見 一正
創価大学工学部情報システム工学科
関連論文
- 携帯メールの絵文字・顔文字解析による趣味嗜好分析法 (情報ネットワーク)
- 携帯メールの絵文字・顔文字解析による気分推定法と楽曲推薦法(モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- 携帯メールの絵文字・顔文字解析による気分推定法と楽曲推薦法(一般セッション,モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- 相対距離感知型パーソナルサービス構成法(SNS,ユーザモデル)
- B-7-51 音声対話WebブラウジングのためのVoiceXMLメタデータ自動生成法(B-7.情報ネットワーク,一般セッション)
- ユビキタスネット環境におけるVoiceXMLメタデータ定義による音声対話Webブラウジング法(ユビキタス,WEB,アプリ)
- CS-4-8 ヘテロコア光ファイバセンサにおけるK-最近傍法と尤度推定法による足裏識別(C-4. 安全・安心な社会を支える光センシング技術,シンポジウムセッション)
- インテリジェントセンササーバソフトウェア構成法(センサネットワーク)
- B-7-3 歩行者群に対応した広告配信サービスのための情報選択・配信アルゴリズムにおけるデータ配信効率の評価(B-7.情報ネットワーク,一般セッション)
- ホームネットワークにおける機器仮想化ソフトウェア構成法(SIP/NGN・一般)
- ユビキタス広域広告配信サービスのための複数のRFIDを用いた情報選択法の評価(ユビキタス)
- ルールベース言語によるWebサービス開発法(プロトコル・一般)
- B-7-37 ヘテロコア光ファイバセンサにおける足裏圧力分布の重心変化に着目した個人識別法(B-7.情報ネットワーク,一般セッション)
- ヘテロコア光ファイバセンサネットワークにおける足裏圧力分布による個人識別(セキュリティ,認証)
- FTTH需要興隆期におけるセンタ内光配線網の経済化運用法(ネットワークオペレーションと資源管理論文)
- 次世代ネットワークにおけるユーザネットワーク管理技術(設備管理,ネットワーク管理,及び一般)
- FTTH興隆期におけるサービス性向上を目的としたセンタ内光配線運用法(IPベースネットワーク・サービスにおける品質と管理,及び一般)
- 階層分散型NMSを用いたGMPLS網ルーティング方式(セッション4)
- 携帯メールの絵文字・顔文字解析による気分推定法と楽曲推薦法(一般セッション,モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- 階層分散型NMSを用いたGMPLS網ルーティング方式(セッション4)
- サービス仕様の自動生成に関する考察
- マルチベンダ指向リアルタイムソフトウェアプラットフォーム
- Smart Spaceサービスプロビジョニングに関する一考察(NW管理,次世代NWアーキテクチャ,次世代NWのオペレーションアーキテクチャ,トラヒック計測・モデリング・品質,オーバレイネットワーク,次世代NWサービス品質,一般)
- ユビキタス環境におけるパーソナルネットワーク構築法の検討(オーバーレイネットワーク)
- 階層化Mobile IPv6ネットワークにおけるHAへの遅延計測負荷削減を考慮したオーバレイとフラットルート選択アルゴリズムの評価(モバイルNW)
- B-7-45 PANにおけるTouch & Selectによるデバイス選択方式(B-7.情報ネットワーク,一般講演)
- ユビキタス環境におけるコミュニケーションを支援するためのパーソナルエージェント構成法の検討(有線/無線シームレスネットワーク,ネットワーク制御,無線通信一般)
- 階層化Mobile IPv6ネットワークにおけるパケット遅延計測による通信経路選択法の検討(有線/無線シームレスネットワーク,ネットワーク制御,無線通信一般)
- ユビキタス環境におけるコミュニケーションを支援するためのパーソナルエージェント構成法の検討
- 携帯メールの絵文字・顔文字解析による趣味嗜好分析法(ネットワークサービス)
- 複数のRFIDタグ読み出しに基づく情報検索手法の検討 : 広告等の情報表示システム(有線/無線シームレスネットワーク,ネットワーク制御,無線通信一般)
- M-39 口コミ情報解析による情報遷移の把握に関する一考察(ワークフローとネットビジネス,M.ネットワーク・モバイルコンピューティング)
- M-38 空間・時間情報に適応した商品推奨のための行動分析機能に関する一考察(ワークフローとネットビジネス,M.ネットワーク・モバイルコンピューティング)
- SSE2000-42 高度INとIP網の連携方式に関する検討 : VoIP付加サービス制御法
- VoIP呼への高度INサービス提供のための基本呼状態モデルに関する検討
- IP網におけるSCPアクセス機能の配備法に関する検討
- 高度INにおける通信サービスソフトウェア生成方式(ネットワークソフトウェア)
- IP網におけるINサービスの提供法
- 高度INにおける仕様補完技術を用いたSLP生成法
- 高度INおける通信サービス仕様補完法の検討
- 高度INにおけるSLP自動生成ツール構成法の検討
- 通信サービスにおけるメッセージシーケンス図記述からルール記述への仕様変換法
- 高度INにおけるSLPへの準正常手順自動補完法の検討
- アイコニックな通信サービス仕様記述支援のための知識構成法
- メッセージシーケンス記述によるサービス仕様から状態遷移規則の獲得法
- 高度INにおけるサービスソフトウェア生成法
- B-7-156 Active-Tagとブログを融合した口コミ情報収集方式の検討(B-7.情報ネットワーク,一般講演)
- B-6-47 携帯メールの絵文字解析に基づくユーザ気分推定法(B-6.ネットワークシステム,一般講演)
- B-7-83 ユビキタス環境におけるパーソナルWebサービス構成法の検討(B-7.情報ネットワーク,一般講演)
- 競合の誤検出の自動検出アルゴリズムの提案(次世代テレコム環境におけるマネジメント技術及び一般)
- 通信サービスの視覚的な要求仕様化支援法
- サービス競合における異常な状態への遷移の検出法
- 通信サービス相互作用に含まれる意味的矛盾動作検出方式
- 通信サービス仕様記述支援のためのデータベース構成法
- 非専門家を対象としたサービス仕様記述支援法
- 通信サービス概念モデルの応用に関する一考察
- 通信サービス動作の修正影響解析支援方法
- 通信サービスの概念モデルの一考察
- 通信サービス仕様記述支援におけるガイダンス手法の一考察
- 通信サービス仕様間の矛盾の自動検出法
- 通信サービス課金仕様競合検出方式
- 通信サーピス課金仕様競合検出方式
- サービス記述検証支援システム
- サービス仕様の自動生成に関する考察 : 自動生成機構の構想
- ネットワークロボット制御サービスのためのプログラム開発プラットフォーム(システム・プラットフォーム)
- B-19-16 ルールベース言語プログラムからの付加サービス状態遷移図獲得法(B-19.ネットワークソフトウェア,一般セッション)
- 連結グラフを考慮するコンカレントシステムの状態生成手法
- サービス仕様検証法の一考察 : サービス競合検出法の効率化
- 離散事象システムにおける可達集合の高速検証方式
- 通信システムサービス仕様における正当性検出と解消方式
- 通信システムサービス仕様におけるデッドロック検出方式(グラフ,ネットワークとアルゴリズムおよび一般)
- 通信サービス要求記述の静的解析手法
- プロダクションシステムにおける詳細優先方式による競合解消戦略の静的解析手法
- 通信サービスに対する要求理解に関する一検討率
- 概念データモデルで記述された仕様の関数型言語への変換
- 通信サービス仕様生成における要求理解に関する一考察
- 宣言型通信サービス仕様記述言語からSDLへの変換法
- 規則形式の通信サービス仕様からのプロトコル合成
- 通信ソフトウェア自動生成のためのプロトコル整合に関する一考察
- 機能分散モデルのアーキテクチャ配置の考察
- 二段階通信サービス仕様記述とプログラム仕様への自動変換
- グラフ表現可能な通信サービス仕様からソフトウェア仕様への変換法について
- 機能分散モデルのためのソフトウェア構成に関する一考察
- 機能分散モデルにおけるサービス機能展開の考察
- 端末動作記述によるサービス仕様記述の機能分散モデルへの展開
- サービス非依存な競合回避機能を有するプロトコル合成法
- 通信サービス記述からプログラム仕様への自動変換と最適化
- 異常な状態への遷移の検証手法 : 競合検出精度の向上手法の提案
- プロダクションルールに基づく通信サービス仕様記述法 : 条件判定記述についての一考察
- B-7-7 Webページとの音声対話のためのVXMLメタデータ配備に基づく同期制御方式(B-7.情報ネットワーク,一般講演)
- オントロジーによる通信サービス要求定義手法
- 通信サービス開発へのオントロジーの導入
- B-19-5 ルールベース言語プログラムのための記述誤り検出(B-19.ネットワークソフトウェア,一般セッション)
- ネットワークロボット制御サービスのためのプログラム開発プラットフォーム
- B-7-41 TupleSpaceを用いたエージェント間通信方式の評価(B-7.情報ネットワーク,一般セッション)
- B-19-4 ルールベース言語ESTRによる分析部プログラム記述法の評価(B-19.ネットワークソフトウェア,一般セッション)
- B-19-19 ネットワークロボット制御機能共通化のためのオントロジー構成法(B-19. ユビキタス・センサネットワーク,一般セッション)
- すれ違い通信情報の位置精度補完によるAR空間表示(モバイルアドホックネットワーク,モバイル時代を支える次世代無線技術,フィールドセンシング及び一般)
- 靴型ヒューマンインタフェースを用いたスマートフォン・システムの実装と実験(端末アプリケーション)
- B-20-19 MANETにおける局所補完マルチパスルーティングプロトコル(B-20.アドホックネットワーク,一般セッション)