No |
68120 |
標題(和) |
異常な状態への遷移の検証手法-競合検出精度の向上手法の提案- |
標題(英) |
A Method for Verification of the transition to an incorrect state |
研究会名(和) |
交換システム; 情報ネットワ-ク; 通信方式 |
研究会名(英) |
Switching Systems Engineering; Information Networks; Communieation Systems |
開催年月日 |
1995-09-28 |
終了年月日 |
1995-09-29 |
会議種別コード |
2 |
共催団体名(和) |
|
資料番号 |
SSE95-62 // IN95-33 // CS95-82 |
抄録(和) |
通信サ-ビス仕様設計の重要な課題に、新規サ-ビスと既存サ-ビスを合成したときに発生する競合の検証がある。我々はサ-ビス競合の一種である意味的矛盾を異常な状態への遷移と定義して、その検証手法を研究してきた。この手法により、意味的矛盾を機械的に検出して、設計者に提示することが可能となったが、検出された状態には冗長なものも含まれた。本論文は、競合の検出もれがなくその冗長な状態を削除すること、すなわち検出精度の向上手法を提案し、実際のサ-ビス仕様合成にあてはめて評価した結果について述べる。 |
抄録(英) |
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. |
収録資料名(和) |
電子情報通信学会技術研究報告 |
収録資料の巻号 |
Vol.95 No.266〜271 |
ページ開始 |
49 |
ページ終了 |
54 |
キーワード(和) |
状態遷移 |
キーワード(英) |
State Transition |
本文の言語 |
JPN |
著者(和) |
太田理 |
著者(ヨミ) |
オオタタダシ |
著者(英) |
Ohta Tadashi |
所属機関(和) |
ATR通信システム研究所 |
所属機関(英) |
ATR Communication Systems Research Laboratories |
著者(和) |
河原崎裕朗 |
著者(ヨミ) |
カワラサキヤスロウ |
著者(英) |
Kawarasaki Yasurou |
所属機関(和) |
ATR通信システム研究所 |
所属機関(英) |
ATR Communication Systems Research Laboratories |
著者(和) |
原田英二 |
著者(ヨミ) |
ハラダエイジ |
著者(英) |
Harada Eiji |
所属機関(和) |
ATR通信システム研究所 |
所属機関(英) |
ATR Communication Systems Research Laboratories |