No |
49246 |
標題(和) |
通信サ-ビス要求記述の静的解析手法 |
標題(英) |
Static Analysis method for comunication service specification |
研究会名(和) |
交換システム; 情報ネットワ-ク; 通信方式 |
研究会名(英) |
Switching Systems Engineering; Information Networks; Communication Systems |
開催年月日 |
1993-09-30 |
終了年月日 |
1993-10-01 |
会議種別コード |
2 |
共催団体名(和) |
|
資料番号 |
SSE93-81 // IN93-88 // CS93-104 |
抄録(和) |
ここでは,上記のル-ル形式で仕様が与えられている通信サ-ビスに対して,この解析手法を実際に適用した.さらに,この手法を利用することにより,一般に計算量の爆発の可能性がある状態の到達可能性の解析を効率的に行なえることも報告する. |
抄録(英) |
The method is applied to the communication system specified by the rule set.Furthermore,an enhanced state reachability analysis method is discussed which can be used to make highly complex computations. |
収録資料名(和) |
電子情報通信学会技術研究報告 |
収録資料の巻号 |
Vol.93 No.256,257,258,259,260,261 |
ページ開始 |
105 |
ページ終了 |
110 |
キーワード(和) |
プロダクションシステム |
キーワード(英) |
production system |
本文の言語 |
JPN |
著者(和) |
太田理 |
著者(ヨミ) |
オオタタダシ |
著者(英) |
Ohta Tadashi |
所属機関(和) |
ATR |
所属機関(英) |
ATR |
著者(和) |
田倉昭 |
著者(ヨミ) |
タクラアキラ |
著者(英) |
Takura Akira |
所属機関(和) |
ATR |
所属機関(英) |
ATR |
著者(和) |
上田佳寛 |
著者(ヨミ) |
ウエダヨシヒロ |
著者(英) |
Ueda Yoshihiro |
所属機関(和) |
ATR |
所属機関(英) |
ATR |