| 講演名 | 1997/5/30 非決定性フィーチャーインタラクションに対するP-インバリアントに基づく検出法の実験的評価 池田 拓郎, 中村 匡秀, 角田 良明, 菊野 亨, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 既存の通信サービス上に新規の通信サービスを追加した時にそれらの間で生じる機能競合のことをフィーチャーインタラクションと呼び,これを検出し除去する効率良い方法の開発が強く求められている.我々はこれまでに,フィーチャーインタラクションの一つである非決定性フィーチャーインタラクションの検出問題に対し,ペトリネットのP-インバリアントを利用した検出アルゴリズムΩを提案している.本研究では実用通信サービス仕様に対する実験を通して,検出精度とスケーラビリティの観点から従来アルゴリズムと提案アルゴリズムΩの比較評価を行う.実験結果より,提案アルゴリズムΩが実用通信サービスに対して非常に高い検出精度とスケーラビリティを有していることを確かめることができた. |
| 抄録(英) | Feature interaction is known as a kind of conflicts among service functions in the communication system to which new communication services are added. It is strongly required to establish the efficient detection and elimination method for feature interactions. We have already proposed a new detection algorithm Ω for nondeterministic feature interactions, which utilizes P-invariant of Petri-Net. The goal of this paper is to evaluate the usefulness of the proposed method by applying it to practical telecommunication services. The experimental results show that proposed method attains high quality of detection and good scalability, and that it is well applicable to the interaction detections of practical services |
| キーワード(和) | フィーチャーインタラクション / 非決定性 / 通信サービス / ペトリネット / P-インバリアント |
| キーワード(英) | Feature Interaction / Non-determinism / Telecommunication Service / Petri-Net / P-invariant |
| 資料番号 | SS97-6 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1997/5/30(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 非決定性フィーチャーインタラクションに対するP-インバリアントに基づく検出法の実験的評価 |
| サブタイトル（和） | |
| タイトル（英） | Experimental Evaluation of Detection Method based on P-Invariant for Non-Deterministic Feature Intaractions |
| サブタイトル（和） | |
| キーワード(1)（和/英） | フィーチャーインタラクション / Feature Interaction |
| キーワード(2)（和/英） | 非決定性 / Non-determinism |
| キーワード(3)（和/英） | 通信サービス / Telecommunication Service |
| キーワード(4)（和/英） | ペトリネット / Petri-Net |
| キーワード(5)（和/英） | P-インバリアント / P-invariant |
| 第 1 著者 氏名（和/英） | 池田 拓郎 / Takuro Ikeda |
| 第 1 著者 所属（和/英） | 大阪大学 大学院基礎工学研究科 情報数理系専攻 Department of Informatics and Mathematical Sciences Graduate School of Engineering Science, Osaka University |
| 第 2 著者 氏名（和/英） | 中村 匡秀 / Masahide Nakamura |
| 第 2 著者 所属（和/英） | 大阪大学 大学院基礎工学研究科 情報数理系専攻 Department of Informatics and Mathematical Sciences Graduate School of Engineering Science, Osaka University |
| 第 3 著者 氏名（和/英） | 角田 良明 / Yoshiaki Kakuda |
| 第 3 著者 所属（和/英） | 大阪大学 大学院基礎工学研究科 情報数理系専攻 Department of Informatics and Mathematical Sciences Graduate School of Engineering Science, Osaka University |
| 第 4 著者 氏名（和/英） | 菊野 亨 / Tohru Kikuno |
| 第 4 著者 所属（和/英） | 大阪大学 大学院基礎工学研究科 情報数理系専攻 Department of Informatics and Mathematical Sciences Graduate School of Engineering Science, Osaka University |
| 発表年月日 | 1997/5/30 |
| 資料番号 | SS97-6 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 78 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |