An equivalence algorithm to point out errors for basic LOTOS in a distributed system environment and its prototype

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.