| No | 98834 |
|---|---|
| 標題（和） | 再帰プロセスのための等価性判定およびエラ-検出アルゴリズム |
| 標題（英） | An Algorithm to Verify Equivalence and to Detect Errors for Recursive Processes |
| 研究会名（和） | 交換システム; 情報ネットワ-ク; 通信方式 |
| 研究会名（英） | Switching Systems Engineering ; Information Networks ; Communication Systems |
| 開催年月日 | 1997-09-29 |
| 終了年月日 | 1997-09-30 |
| 会議種別コード | 2 |
| 共催団体名（和） | |
| 資料番号 | SSE97-84, IN97-77, CS97-75 |
| 抄録（和） | 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 systems 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. |
| 収録資料名（和） | 電子情報通信学会技術研究報告 |
| 収録資料の巻号 | Vol.97 No.293 |
| ページ開始 | 51 |
| ページ終了 | 56 |
| キーワード（和） | 教育支援環境 |
| キーワード（英） | education support environment |
| 本文の言語 | ENG |
| 著者（和） | 白鳥則郎 |
| 著者（ヨミ） | シラトリノリオ |
| 著者（英） | Shiratori Norio |
| 所属機関（和） | 東北大学電気通信研究所 |
| 所属機関（英） | Research Institute of Electrical Communication, Tohoku University |
| 著者（和） | 木村成伴 |
| 著者（ヨミ） | キムラナリトモ |
| 著者（英） | Kimura Shigetomo |
| 所属機関（和） | 筑波大学電子情報工学系 |
| 所属機関（英） | Institute of Electronics and Information Science, University of Tsukuba |
| 著者（和） | 朴炳昊 |
| 著者（ヨミ） | パクビョンホ |
| 著者（英） | Dark Byung-Ho |
| 所属機関（和） | 東北大学電気通信研究所 |
| 所属機関（英） | Research Institute of Electrical Communication, Tohoku University |