A Study on Education Support Environment for LOTOS.
|
Accession number;99A0938109
|
| Title;A Study on Education Support Environment for LOTOS. |
| Author;
PARK B-H
(Tohoku Univ.)
|
Journal Title;Record of Electrical and Communication Engineering Conversazione, Tohoku University
|
Journal Code:F0511A
|
ISSN:0385-7719
|
|
VOL.68;NO.1;PAGE.169-172(1999)
|
| Figure&Table&Reference;FIG.3, REF.9 |
| Pub. Country;Japan |
| Language;English |
| Abstract;LOTOS, one of the standard FDTs developed within ISO, is mainly used in describing Open Systems Interconnection(OSI), especially service definitions and protocol descriptions. But LOTOS is considered to be difficult to understand, learn and use it to describe system behaviors because of its complex mathematical concepts and notations, comparing to other FDTs (e.g. Estelle and SDL). Therefore, LOTOS has not been widely used despite some superior advantages such as verification ability of specifications and description ability of parallel behaviors which are absent in other FDTs. To solve these problems, an education support system for novice users may be necessary. Thus, for LOTOS instruction support, we have 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. So, a new algorithm which can support equivalence decision and error detection in recursive processes is proposed. Furthermore, a software support system which aids this new algorithm is developed. (author abst.) |
|
|
|
Related Articles;
|
|
