Equivalence algorithm to point out errors for basic LOTOS in distributed system environment and its prototype

Byung ho Park; Shigetomo Kimura; Eun Seok Lee; Norio Shiratori

Equivalence algorithm to point out errors for basic LOTOS in distributed system environment and its prototype

Byung ho Park
, Shigetomo Kimura
, Eun Seok Lee
, Norio Shiratori

Tohoku University

Research output: Contribution to conference › Paper › peer-review

Abstract

LOTOS which is one of the Formal Description Techniques (FDTs) is applied for the formal description of other distributed systems and protocol specification of OSI protocol layers. But LOTOS is difficult to understand and to learn because it is based on the mathematical model. In this paper, for supporting the knowledge acquisition to 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 is occurred at another process. Finally, we give an example of a prototype program for an educational support system of Basic LOTOS.

Original language	English
Pages	230-235
Number of pages	6
State	Published - 1997
Externally published	Yes
Event	Proceedings of the 1997 International Conference on Parallel and Distributed Systems - Seoul, South Korea Duration: 10 Dec 1997 → 13 Dec 1997

Conference

Conference	Proceedings of the 1997 International Conference on Parallel and Distributed Systems
City	Seoul, South Korea
Period	10/12/97 → 13/12/97

Cite this

@conference{68fd2d45834b49ad8f4a01f8338c7330,

title = "Equivalence algorithm to point out errors for basic LOTOS in distributed system environment and its prototype",

abstract = "LOTOS which is one of the Formal Description Techniques (FDTs) is applied for the formal description of other distributed systems and protocol specification of OSI protocol layers. But LOTOS is difficult to understand and to learn because it is based on the mathematical model. In this paper, for supporting the knowledge acquisition to 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 is occurred at another process. Finally, we give an example of a prototype program for an educational support system of Basic LOTOS.",

author = "Park, \{Byung ho\} and Shigetomo Kimura and Lee, \{Eun Seok\} and Norio Shiratori",

year = "1997",

language = "English",

pages = "230--235",

note = "Proceedings of the 1997 International Conference on Parallel and Distributed Systems ; Conference date: 10-12-1997 Through 13-12-1997",

}

Equivalence algorithm to point out errors for basic LOTOS in distributed system environment and its prototype. / Park, Byung ho; Kimura, Shigetomo; Lee, Eun Seok et al.
1997. 230-235 Paper presented at Proceedings of the 1997 International Conference on Parallel and Distributed Systems, Seoul, South Korea.

Research output: Contribution to conference › Paper › peer-review

TY - CONF

T1 - Equivalence algorithm to point out errors for basic LOTOS in distributed system environment and its prototype

AU - Park, Byung ho

AU - Kimura, Shigetomo

AU - Lee, Eun Seok

AU - Shiratori, Norio

PY - 1997

Y1 - 1997

N2 - LOTOS which is one of the Formal Description Techniques (FDTs) is applied for the formal description of other distributed systems and protocol specification of OSI protocol layers. But LOTOS is difficult to understand and to learn because it is based on the mathematical model. In this paper, for supporting the knowledge acquisition to 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 is occurred at another process. Finally, we give an example of a prototype program for an educational support system of Basic LOTOS.

AB - LOTOS which is one of the Formal Description Techniques (FDTs) is applied for the formal description of other distributed systems and protocol specification of OSI protocol layers. But LOTOS is difficult to understand and to learn because it is based on the mathematical model. In this paper, for supporting the knowledge acquisition to 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 is occurred at another process. Finally, we give an example of a prototype program for an educational support system of Basic LOTOS.

UR - https://www.scopus.com/pages/publications/0031335741

M3 - Paper

AN - SCOPUS:0031335741

SP - 230

EP - 235

T2 - Proceedings of the 1997 International Conference on Parallel and Distributed Systems

Y2 - 10 December 1997 through 13 December 1997

ER -

Equivalence algorithm to point out errors for basic LOTOS in distributed system environment and its prototype

Abstract

Conference

Other files and links

Fingerprint

Cite this