| 講演名 | 1997/9/29 再帰プロセスのための等価性判定およびエラー検出アルゴリズム 朴 炳昊, 木村 成伴, 白鳥 則郎, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | FDTの一つであるLOTOSはサービス定義や, 電話回線交換網などの分散システムやプロトコル仕様などの通信システムの要求仕様を, 厳密で暖昧性がなく, かつ, 有効的に記述する手段を提供している. しかし, LOTOSは数学的な知識を背景としているため, 初心者にとっては特に, その理解性や学習性が困難であると言われている. これを踏まえて, 著者らは既に, 有限プロセスを対象としたLOTOS教育支援のための等価性判定およびエラー検出アルゴリズムを提案している. しかしながら, 有限プロセスではイベントが無限に続くプロセスを表現することができないため, 本アルゴリズムの適用範囲は限定されている. 本論文では, LOTOSのすべてのプロセスと強等価なプロセスを表現できる再帰プロセスを対象に, 拡張したエラー検出アルゴリズムを提案する. |
| 抄録(英) | LOTOS which is one of the FDTs has many strong points such as formal description of the service definitions, other distributed system like telephone switching networks and the protocol specifications. However, it is not used widely, since it is difficult for beginners to learn its mathematical basis. We have already proposed an algorithm which verifies strong equivalence and detects errors between finite processes for LOTOS instruction. In practice, general processes can perform infinite sequences of events or actions. To support such processes in the instruction, this paper expands the algorithm for recursive processes, which are in subset of LOTOS and can express every process that is strong equivalence to each process in LOTOS. |
| キーワード(和) | LOTOS / エラー検出 / 最簡形LTS / 再帰プロセス / 強等価 / 教育支援環境 |
| キーワード(英) | LOTOS / error detection / simplest LTS / recursive process / strong equivalence / education support environment |
| 資料番号 | CS97-75 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CS |
|---|---|
| 開催期間 | 1997/9/29(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Communication Systems (CS) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | 再帰プロセスのための等価性判定およびエラー検出アルゴリズム |
| サブタイトル（和） | |
| タイトル（英） | An Algorithm to Verify Equivalence and to Detect Errors for Recursive Processes |
| サブタイトル（和） | |
| キーワード(1)（和/英） | LOTOS / LOTOS |
| キーワード(2)（和/英） | エラー検出 / error detection |
| キーワード(3)（和/英） | 最簡形LTS / simplest LTS |
| キーワード(4)（和/英） | 再帰プロセス / recursive process |
| キーワード(5)（和/英） | 強等価 / strong equivalence |
| キーワード(6)（和/英） | 教育支援環境 / education support environment |
| 第 1 著者 氏名（和/英） | 朴 炳昊 / Byung-ho Park |
| 第 1 著者 所属（和/英） | 東北大学電気通信研究所/情報科学研究科 Research Institute of Electrical Communication, Tohoku University |
| 第 2 著者 氏名（和/英） | 木村 成伴 / Shigetomo Kimura |
| 第 2 著者 所属（和/英） | 筑波大学電子・情報工学系 Institute of Electronics and Information Sciences, University of Tsukuba |
| 第 3 著者 氏名（和/英） | 白鳥 則郎 / Norio Shiratori |
| 第 3 著者 所属（和/英） | 東北大学電気通信研究所/情報科学研究科 Research Institute of Electrical Communication, Tohoku University |
| 発表年月日 | 1997/9/29 |
| 資料番号 | CS97-75 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 297 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |