No |
68124 |
標題(和) |
通信サ-ビスの手続き型記述から宣言型記述への仕様変換法の拡張 |
標題(英) |
An Extended Conversion Method of Procedual Description into Declarative Description for Telecommunication Service Specification |
研究会名(和) |
交換システム; 情報ネットワ-ク; 通信方式 |
研究会名(英) |
Switching Systems Engineering; Information Networks; Communieation Systems |
開催年月日 |
1995-09-28 |
終了年月日 |
1995-09-29 |
会議種別コード |
2 |
共催団体名(和) |
|
資料番号 |
SSE95-66 // IN95-37 // CS95-86 |
抄録(和) |
通信サ-ビス仕様検証能力の向上を目的として、手続き型仕様記述であるメッセ-ジシ-ケンスチャ-ト(MSC)から宣言型仕様記述である状態遷移規則(STR)への仕様変換法が検討されている。本稿では、将来規定されるであろう未知のサ-ビスのMSC仕様記述に対しても柔軟に適用可能である仕様変換の改良方式を提案する。本方式では、MSC各記述要素間の普遍的関連性に着目した新しい変換アルゴリズムを導入している。また、提案方式に基づく仕様記述自動変換システムの構成法についても示す。 |
抄録(英) |
Then,we show an architecture of automatic conversion system for service specifeication descriptions based on the proposed method. |
収録資料名(和) |
電子情報通信学会技術研究報告 |
収録資料の巻号 |
Vol.95 No.266〜271 |
ページ開始 |
73 |
ページ終了 |
78 |
キーワード(和) |
自動変換システム |
キーワード(英) |
Automatic Conversion System |
本文の言語 |
JPN |
著者(和) |
池田博昌 |
著者(ヨミ) |
イケダヒロマサ |
著者(英) |
Ikeda Hiromasa |
所属機関(和) |
大阪大学工学部通信工学科 |
所属機関(英) |
Department of Communication Engineering,Faculty of Engineering,Osaka University |
著者(和) |
戸出英樹 |
著者(ヨミ) |
シデヒデキ |
著者(英) |
Shide Hideki |
所属機関(和) |
大阪大学工学部通信工学科 |
所属機関(英) |
Department of Communication Engineering,Faculty of Engineering,Osaka University |
著者(和) |
滝本周平 |
著者(ヨミ) |
タキモトシュウヘイ |
著者(英) |
Takimoto Shuhei |
所属機関(和) |
大阪大学工学部通信工学科 |
所属機関(英) |
Department of Communication Engineering,Faculty of Engineering,Osaka University |
著者(和) |
尾尻健 |
著者(ヨミ) |
オジリケン |
著者(英) |
Ojiri Ken |
所属機関(和) |
大阪大学工学部通信工学科 |
所属機関(英) |
Department of Communication Engineering,Faculty of Engineering,Osaka University |