文章基本信息

标题：An Error Detection Method for Recursive Processes for LOTOS Instruction and Its Support System
本地全文：下载
作者：Byung-ho PARK ; Kaoru TAKAHASHI ; Norio SHIRATORI 等
期刊名称：Interdisciplinary Information Sciences
印刷版ISSN：1340-9050
电子版ISSN：1347-6157
出版年度：1999
卷号：5
期号：1
页码：87-98
DOI：10.4036/iis.1999.87
出版社：The Editorial Committee of the Interdisciplinary Information Sciences
摘要：LOTOS, one of the formal description techniques, can strictly and unambiguously describe the requirement specifications of distributed systems such as protocols and communication systems. But it is difficult for beginners to learn and understand LOTOS. Thus, for LOTOS instruction support, we have already proposed an algorithm which can detect learner’s errors contained in the learner’s answer for some problems described in LOTOS. This algorithm is applied to non-recursive LOTOS processes. However, non-recursive processes cannot represent processes that execute events infinitely. In this paper, we propose a new algorithm which can support equivalence decision and error detection in recursive processes. We also present a software support system which aids this new algorithm.
关键词：recursive processes;LOTOS;equivalence decision;error detection;education support system