| 講演名 | 1999/8/5 競合検出のための知識の自動獲得法 米田 多江, 太田 理, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本論文では, 従来人手によって入力されていたサービス競合の検出に必要な知識を, 状態遷移に現われるサービスの特徴に注目することによって, 自動的に獲得する手法を提案する. 新サービスの追加により, 既存サービスの状態遷移から分岐し, 新たな状態遷移が発生する. この時, 新サービスからすると分岐先の状態は, 遷移しなければならない状態である. それに対して既存の状態遷移は, 新サービスでは遷移してはいけない状態である. これらの新サービスの特徴を知識とした. 獲得した知識を基に競合検出シナリオを考案し, 10個のサービスについて適用し,今までに報告されている競合を全て検出できる事を確認した. |
| 抄録(英) | This paper proposes a method of automatically eliciting knowledge which is used to detect feature interactions. In conventional methods, the knowledge is provided manually. In the proposed method, the knowledge is automatically elicited as constraints of the service. In telecommunication systems, when a new service is added, new state transitions are created. For new service, the new state in the new state transitions should be reached. On the other hand, the existing state should not be reached. These constraints can be considered as knowledge for the new service. This paper also proposes scenario for detecting feature interactions using elicited knowledge. This scenario was confirmed as effective one. |
| キーワード(和) | 知識獲得 / 状態遷移モデル / 仕様検証 / サービス競合 |
| キーワード(英) | knowledge elicitation / state transition model / specification verification / feature interaction |
| 資料番号 | KBSE99-12 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1999/8/5(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 競合検出のための知識の自動獲得法 |
| サブタイトル（和） | |
| タイトル（英） | Automatic elicitation of knowledge for detecting feature interactions |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 知識獲得 / knowledge elicitation |
| キーワード(2)（和/英） | 状態遷移モデル / state transition model |
| キーワード(3)（和/英） | 仕様検証 / specification verification |
| キーワード(4)（和/英） | サービス競合 / feature interaction |
| 第 1 著者 氏名（和/英） | 米田 多江 / Tae Yoneda |
| 第 1 著者 所属（和/英） | 創価大学 工学部 情報システム学科 Soka University |
| 第 2 著者 氏名（和/英） | 太田 理 / Tadashi Ohta |
| 第 2 著者 所属（和/英） | 創価大学 工学部 情報システム学科 Soka University |
| 発表年月日 | 1999/8/5 |
| 資料番号 | KBSE99-12 |
| 巻番号（vol） | vol.99 |
| 号番号（no） | 253 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |