講演名 | 1995/9/28 異常な状態への遷移の検証手法 : 競合検出精度の向上手法の提案 原田 英二, 河原崎 裕朗, 太田 理, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 通信サービス仕様設計の重要な課題に、新規サービスと既存サービスを合成したときに発生する競合の検証がある。我々はサービス競合の一種である意味的矛盾を異常な状態への遷移と定義して、その検証手法を研究してきた。この手法により、意味的矛盾を機械的に検出して、設計者に提示することが可能となったが、検出された状態には冗長なものも含まれた。本論文は、競合の検出もれがなくその冗長な状態を削除すること、すなわち検出精度の向上手法を提案し、実際のサービス仕様合成にあてはめて評価した結果について述べる。 |
抄録(英) | The verification of service interaction between a new service and existing services is an important issue in the design of communication service specifications. The transition to an incorrect state is defined as a semantic inconsistency which is a type of service interaction. We have studied a method to verify the transition, and incorrect states were detected automatically by the method. However, the number of detected incorrect states were excessive. In this paper, therefore, we propose a method that reduces the number of states without affecting the verification of service interaction. Moreover, experimental results of the proposed method on composing service specifications are described. |
キーワード(和) | 仕様記述 / 通信サービス / サービス競合 / 状態遷移 |
キーワード(英) | Specification Description / Communication Service / Service Interaction / State Transition |
資料番号 | SSE95-62,IN95-33,CS95-82 |
発行日 |
研究会情報 | |
研究会 | SSE |
---|---|
開催期間 | 1995/9/28(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Switching Systems Engineering (SSE) |
---|---|
本文の言語 | JPN |
タイトル(和) | 異常な状態への遷移の検証手法 : 競合検出精度の向上手法の提案 |
サブタイトル(和) | |
タイトル(英) | A Method for Verification of the transition to an incorrect state |
サブタイトル(和) | |
キーワード(1)(和/英) | 仕様記述 / Specification Description |
キーワード(2)(和/英) | 通信サービス / Communication Service |
キーワード(3)(和/英) | サービス競合 / Service Interaction |
キーワード(4)(和/英) | 状態遷移 / State Transition |
第 1 著者 氏名(和/英) | 原田 英二 / Eiji HARADA |
第 1 著者 所属(和/英) | ATR通信システム研究所 ATR Communication Systems Research Laboratories |
第 2 著者 氏名(和/英) | 河原崎 裕朗 / Yasurou KAWARASAKI |
第 2 著者 所属(和/英) | ATR通信システム研究所 ATR Communication Systems Research Laboratories |
第 3 著者 氏名(和/英) | 太田 理 / Tadashi OHTA |
第 3 著者 所属(和/英) | ATR通信システム研究所 ATR Communication Systems Research Laboratories |
発表年月日 | 1995/9/28 |
資料番号 | SSE95-62,IN95-33,CS95-82 |
巻番号(vol) | vol.95 |
号番号(no) | 266 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |