Title :
An equivalence algorithm to point out errors for basic LOTOS in a distributed system environment and its prototype
Author :
Park, Byung-ho ; Kimura, Shigetomo ; Lee, Eun-seok ; Shiratori, Norio
Author_Institution :
Res. Inst. of Electr. Commun., Tohoku Univ., Sendai, Japan
Abstract :
LOTOS formal description technique (FDT) is applied to the formal description of distributed systems and the specification of OSI protocol layers. LOTOS is difficult to understand and to learn because it is based on a mathematical model. In this paper, for supporting the knowledge acquisition of learners studying basic LOTOS, we suggest a new algorithm that can verify an equivalence relation, find an error location, and correct an error when the error occurs at another process. Finally, we give an example of a prototype program for an educational support system for basic LOTOS
Keywords :
computer science education; distributed processing; errors; formal specification; open systems; protocols; specification languages; LOTOS; OSI protocol layers; distributed system; educational support system; equivalence algorithm; equivalence relation verification; error correction; error detection; formal description technique; mathematical model; prototype; specification; Communication standards; Computer errors; Computer science education; Educational programs; Electronic mail; Error correction; Mathematical model; Open systems; Protocols; Prototypes;
Conference_Titel :
Parallel and Distributed Systems, 1997. Proceedings., 1997 International Conference on
Conference_Location :
Seoul
Print_ISBN :
0-8186-8227-2
DOI :
10.1109/ICPADS.1997.652555
