| 講演名 | 1998/5/29 知識を利用したサービス競合の検証法 米田 多江, 太田 理, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 単独で実行すると正常な振る舞いをするサービスを他のサービスと同時に提供すると異常な振る舞いを起こす場合がある。この異常な振る舞いをサービス競合と呼ぶ。サービス競合問題は、国際的に関心を集め、競合の定義、分類、検証法に関する多くの提案がなされている。しかしながら、検証のための計算量の爆発や検証範囲(検証の限界)の明確さに問題があり実用化を阻んでいる。本論文は通信サービス仕様から、サービスとして許容されないシステム状態やそのサービスの意図を知識として自動的に獲得し、この知識をもとにサービス競合を検出する手法について提案する。提案した手法を10個のサービスに適用し、想定した全ての競合を検出できた。 |
| 抄録(英) | Services that independently operate normally will behave differently when simultaneously initiated(synthesized)with another service. This behavior is called service interaction (or feature interaction). As for such problems in telecommunication field, many researches have been done and many proposals related to definition, classification, detection method and resolving method have been proposed. Yet, since their proposals contain many problems, such as large amount of computation time and coverage (or limitation) of detection an resolution, application to actual system is still under study. In this paper, we propose a method of automatic elicitation of knowledge such as unacceptable state as normal service (inhibited state) and intention of the service from telecommunication service specification, and a method to detect feature interactions based on these knowledge. The methods proposed here was applied to 10 services and all feature interactions anticipated were detected. |
| キーワード(和) | サービス競合 / 自動検証 / 知識獲得 / 仕様記述 / 状態遷移 |
| キーワード(英) | feature interaction / automatic verification / knowledge elicitation / specification / state transition |
| 資料番号 | |
| 発行日 |
| 研究会情報 | |
| 研究会 | SSE |
|---|---|
| 開催期間 | 1998/5/29(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Switching Systems Engineering (SSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 知識を利用したサービス競合の検証法 |
| サブタイトル（和） | |
| タイトル（英） | Knowledge based Verification Method of Service Interaction |
| サブタイトル（和） | |
| キーワード(1)（和/英） | サービス競合 / feature interaction |
| キーワード(2)（和/英） | 自動検証 / automatic verification |
| キーワード(3)（和/英） | 知識獲得 / knowledge elicitation |
| キーワード(4)（和/英） | 仕様記述 / specification |
| キーワード(5)（和/英） | 状態遷移 / state transition |
| 第 1 著者 氏名（和/英） | 米田 多江 / Tae Yoneda |
| 第 1 著者 所属（和/英） | 創価大学工学部情報システム学科 Soka University |
| 第 2 著者 氏名（和/英） | 太田 理 / Tadashi Ohta |
| 第 2 著者 所属（和/英） | 創価大学工学部情報システム学科 Soka University |
| 発表年月日 | 1998/5/29 |
| 資料番号 | |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 84 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |