| 講演名 | 2005-01-27 SDLプロセスごとのペトリネット変換による仕様検証(コンカレントシステム, 一般) 長谷川 晴朗, 茂呂 征一郎, 松本 忠, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 交換システムのように複数の端末が接続される情報通信システムをITU-T勧告の仕様記述言語SDLで記述する時には, 端末の仕様はプロセスの型で示し, 端末の実際の動作は同一のプロセスの型から生成されたプロセスインスタンスとして表現されている. そして, 一般に一つのサービスに同じプロセスの型を持つ複数のプロセスインスタンスが関わっている. ここでは, そのようなシステムのSDLのプロセス図をペトリネットに変換してペトリネットのすぐれた検証能力を利用してデッドロックの検出や新たなサービスの発見等の仕様検証を行う手法について述べる. |
| 抄録(英) | A specification of terminal is represented as a type of process, and actual behavior of each terminal is as each instance of process, in a case that a telecommunications system such as a switching system is described in SDL, a specification language recommended by ITU-T. Two terminals or more are generally related to each service feature. This paper describes a method of verifying an SDL specification by converting each process instance into Petri Nets and using algebraic analysis technique of Petri Nets such as T-invariant. |
| キーワード(和) | ペトリネット / SDL / 仕様検証 / 要求工学 |
| キーワード(英) | Petri Nets / SDL / Specification Verification / Requirement Engineering |
| 資料番号 | CST2004-41 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 2005/1/20(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | SDLプロセスごとのペトリネット変換による仕様検証(コンカレントシステム, 一般) |
| サブタイトル（和） | |
| タイトル（英） | Specification Verification by Conversion of each SDL Process Instance into Petri Nets |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ペトリネット / Petri Nets |
| キーワード(2)（和/英） | SDL / SDL |
| キーワード(3)（和/英） | 仕様検証 / Specification Verification |
| キーワード(4)（和/英） | 要求工学 / Requirement Engineering |
| 第 1 著者 氏名（和/英） | 長谷川 晴朗 / Haruo HASEGAWA |
| 第 1 著者 所属（和/英） | 沖電気工業(株)政策調査部 Technology Planning and Government Relations Div., Oki Electric Industry Co., Ltd. |
| 第 2 著者 氏名（和/英） | 茂呂 征一郎 / Seiichiro MORO |
| 第 2 著者 所属（和/英） | 福井大学 工学部 電気・電子工学科 Department of Electrical and Electronics Engineering, University of Fukui |
| 第 3 著者 氏名（和/英） | 松本 忠 / Tadashi MATSUMOTO |
| 第 3 著者 所属（和/英） | 福井工業大学 工学部 電気電子工学科 Department of Electrical and Electronic Engineering, Fukui University of Technology |
| 発表年月日 | 2005-01-27 |
| 資料番号 | CST2004-41 |
| 巻番号（vol） | vol.104 |
| 号番号（no） | 593 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |