| 講演名 | 1999/11/18 サービス対応展開法を用いたフィーチャインタラクションの検出と解決 石崎 洋, 井上 伸二, 角田 良明, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 近年,通信サービス間の不具合であるフィーチャインタラクションが起こる可能性が高まっている4フイーチャインタラクションを検出する従来の代表的な手法では,サービスのシステム状態をすべて列挙する方法がとられていた.しかし,この手法ではサービス・ユーザの増加によってシステム状態が指数的に増え状態爆発問題が起こる,そこで,本稿では各サービス毎にシステム状態を列挙するサービス対応展開法を提案する.提案法を用いることにより,検出すべきシステム状態を減少することにより,状態爆発問題を緩和させることができる.また,本手法はフィーチャインタラクションを検出した後のフィーチャインタラクションの解決が他の手法に比べて容易に行えることができる. |
| 抄録(英) | Recently, along with development of diverse telecommunication services, there become high possibilities that feature interactions among them occur. In the typical previous approach, by enumerating all reachable system states of all services feature interactions are detected. However, this approach induces the state explosion problem. This paper proposes a new approach in which for each service the minimum set of reachable system states is enumerated. This approach relaxes the state explosion problem. Also, this approach facilitates feature interacion resolution using corresponding executable events among services. |
| キーワード(和) | フィーチャインタラクション / 通信サービス / サービス仕様 / 検出 / 解消 |
| キーワード(英) | feature interaction / telecommunication service / service specification / detection / resolution |
| 資料番号 | IN99-72 |
| 発行日 |
| 研究会情報 | |
| 研究会 | IN |
|---|---|
| 開催期間 | 1999/11/18(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Information Networks (IN) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | サービス対応展開法を用いたフィーチャインタラクションの検出と解決 |
| サブタイトル（和） | |
| タイトル（英） | Feature Interaction Detection and Resolution Using Acyclic Expansion Algorithm |
| サブタイトル（和） | |
| キーワード(1)（和/英） | フィーチャインタラクション / feature interaction |
| キーワード(2)（和/英） | 通信サービス / telecommunication service |
| キーワード(3)（和/英） | サービス仕様 / service specification |
| キーワード(4)（和/英） | 検出 / detection |
| キーワード(5)（和/英） | 解消 / resolution |
| 第 1 著者 氏名（和/英） | 石崎 洋 / Hiroshi Ishizaki |
| 第 1 著者 所属（和/英） | 広島市立大学情報科学部情報工学科 Department of Computer Engineering Faculty of Imformation Sciences, Hiroshima City University |
| 第 2 著者 氏名（和/英） | 井上 伸二 / Shinji Inoue |
| 第 2 著者 所属（和/英） | 広島市立大学情報科学部情報工学科 Department of Computer Engineering Faculty of Imformation Sciences, Hiroshima City University |
| 第 3 著者 氏名（和/英） | 角田 良明 / Yoshiaki Kakuda |
| 第 3 著者 所属（和/英） | 広島市立大学情報科学部情報工学科 Department of Computer Engineering Faculty of Imformation Sciences, Hiroshima City University |
| 発表年月日 | 1999/11/18 |
| 資料番号 | IN99-72 |
| 巻番号（vol） | vol.99 |
| 号番号（no） | 436 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |