| 講演名 | 1995/9/28 通信サービスの手続き型記述から宣言型記述への仕様変換法の拡張 尾尻 健, 滝本 周平, 戸出 英樹, 池田 博昌, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 通信サービス仕様検証能力の向上を目的として、手続き型仕様記述であるメッセージシーケンスチャート (MSC) から宣言型仕様記述である状態遷移規則 (STR) への仕様変換法が検討されている。本稿では、将来規定されるであろう未知のサービスのMSC仕様記述に対しても柔軟に適用可能である仕様変換の改良方式を提案する。本方式では、MSC各記述要素間の普遍的関連性に着目した新しい変換アルゴリズムを導入している。また、提案方式に基づく仕様記述自動変換システムの構成法についても示す。 |
| 抄録(英) | It has been investigated how to convert Message Sequence Chart (MSC) as a procedual description into State Transition Rules(STR) as a declarative description for telecommunication service specification in order to increase capability of specification verification. We propose an advanced conversion method which can be flexibly applied to MSC descriptions for various services emerging in future. In this method, we focus on the general relation among description elements of MSC, and we introduce a modified conversion algorithm. Then, we show an architecture of automatic conversion system for service specification descriptions based on the proposed method. |
| キーワード(和) | 通信サービス / 通信ソフトウェア / サービス競合検証 / 仕様記述変換 / 自動変換システム |
| キーワード(英) | Telecommunication Service / Software / Verification of Service Competition / Conversion of Specification Description / Automatic Conversion System |
| 資料番号 | SSE95-66,IN95-37,CS95-86 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SSE |
|---|---|
| 開催期間 | 1995/9/28(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Switching Systems Engineering (SSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 通信サービスの手続き型記述から宣言型記述への仕様変換法の拡張 |
| サブタイトル（和） | |
| タイトル（英） | An Extended Conversion Method of Procedual Description into Declarative Description for Telecommunication Service Specification |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 通信サービス / Telecommunication Service |
| キーワード(2)（和/英） | 通信ソフトウェア / Software |
| キーワード(3)（和/英） | サービス競合検証 / Verification of Service Competition |
| キーワード(4)（和/英） | 仕様記述変換 / Conversion of Specification Description |
| キーワード(5)（和/英） | 自動変換システム / Automatic Conversion System |
| 第 1 著者 氏名（和/英） | 尾尻 健 / Ken Ojiri |
| 第 1 著者 所属（和/英） | 大阪大学工学部通信工学科 Department of Communication Engineering, Faculty of Engineering, Osaka University |
| 第 2 著者 氏名（和/英） | 滝本 周平 / Shuhei Takimoto |
| 第 2 著者 所属（和/英） | 大阪大学工学部通信工学科 Department of Communication Engineering, Faculty of Engineering, Osaka University |
| 第 3 著者 氏名（和/英） | 戸出 英樹 / Hideki Tode |
| 第 3 著者 所属（和/英） | 大阪大学工学部通信工学科 Department of Communication Engineering, Faculty of Engineering, Osaka University |
| 第 4 著者 氏名（和/英） | 池田 博昌 / Hiromasa Ikeda |
| 第 4 著者 所属（和/英） | 大阪大学工学部通信工学科 Department of Communication Engineering, Faculty of Engineering, Osaka University |
| 発表年月日 | 1995/9/28 |
| 資料番号 | SSE95-66,IN95-37,CS95-86 |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 266 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |