| 講演名 | 1997/2/20 通信サービス仕様検証エミュレータの構築及び評価 西村 正寿, スチャヨノ アンドレアス, 安家 武, 戸出 英樹, 池田 博昌, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 通信サービスソフトウェア開発の上流工程において,通信サービス仕様検証を機械的に支援する技術が望まれている。本稿では,宣言型通信サービス仕様記述言語である状態遷移規則(STR:State Transition Rule)で記述された通信サービス仕様に基づく動作を実体験でき,通信サービス仕様の正当性検証並びに複数サービス間の競合検証を可能とする,通信サービス仕様検証エミュレータを提案する.具体的には, LAN(Local Area Network)を介して接続された各WS(Work Station)上にネットワーク機能及び端末機能を設定し,ネットワーク機能側にSTRで記述されたサービスシナリオを保持させ,これに基づく動作を逐次実行する.さらにLAN上に構築した本システムの有効性を評価している. |
| 抄録(英) | As the upper level process for the communication service software development, the technology that sup ports automatic verification of communication service specification is inevitable. In this paper, we propose a verification emulator for telecommunication service specification, that makes users experience the operation based on their own described specification, and furthermore, that can verify the validation of both the service specification and the contention among several services. This emulator realizes the functions of both the switching system and terminals on several work stations connected through the LAN. Service operation is sequentially executed based on the service senario held in the switching system function. Also, the effectiveness of this system implmented on the LAN is evaluated in this paPer. |
| キーワード(和) | 通信サービス仕様 / 状態遷移規則 / サービス仕様検証 |
| キーワード(英) | Tclccommunication Scrvicc / Spccification STR / Scrvicc Spccification Vcrification |
| 資料番号 | SSE96-154,OCS96-92 |
| 発行日 |
| 研究会情報 | |
| 研究会 | OCS |
|---|---|
| 開催期間 | 1997/2/20(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Optical Communication Systems (OCS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 通信サービス仕様検証エミュレータの構築及び評価 |
| サブタイトル（和） | |
| タイトル（英） | Configuration and Evaluation of a Verification Emulator for Telecommunication Service Specification |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 通信サービス仕様 / Tclccommunication Scrvicc |
| キーワード(2)（和/英） | 状態遷移規則 / Spccification STR |
| キーワード(3)（和/英） | サービス仕様検証 / Scrvicc Spccification Vcrification |
| 第 1 著者 氏名（和/英） | 西村 正寿 / Masanobu Nishimura |
| 第 1 著者 所属（和/英） | 大阪大学工学部通信工学科 Fhculty of Engineering,Osaka University |
| 第 2 著者 氏名（和/英） | スチャヨノ アンドレアス / Andreas Sucahyono |
| 第 2 著者 所属（和/英） | 大阪大学工学部通信工学科 Fhculty of Engineering,Osaka University |
| 第 3 著者 氏名（和/英） | 安家 武 / Takeshi Yasuie |
| 第 3 著者 所属（和/英） | 大阪大学工学部通信工学科 Fhculty of Engineering,Osaka University |
| 第 4 著者 氏名（和/英） | 戸出 英樹 / Hideki Tode |
| 第 4 著者 所属（和/英） | 大阪大学工学部通信工学科 Fhculty of Engineering,Osaka University |
| 第 5 著者 氏名（和/英） | 池田 博昌 / Hiromasa Ikeda |
| 第 5 著者 所属（和/英） | 大阪大学工学部通信工学科 Fhculty of Engineering,Osaka University |
| 発表年月日 | 1997/2/20 |
| 資料番号 | SSE96-154,OCS96-92 |
| 巻番号（vol） | vol.96 |
| 号番号（no） | 537 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |