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

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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
Title of host publication	Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS
Editors	Anon
Place of Publication	Los Alamitos, CA, United States
Publisher	IEEE Comp Soc
Pages	230-235
Number of pages	6
Publication status	Published - 1997
Event	Proceedings of the 1997 International Conference on Parallel and Distributed Systems - Seoul, South Korea Duration: 1997 Dec 10 → 1997 Dec 13

Other

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

ASJC Scopus subject areas

Engineering(all)

Cite this

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.
Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS. ed. / Anon. Los Alamitos, CA, United States: IEEE Comp Soc, 1997. p. 230-235.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Park, BH, Kimura, S, Lee, ES & Shiratori, N 1997, Equivalence algorithm to point out errors for basic LOTOS in distributed system environment and its prototype. in Anon (ed.), Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS. IEEE Comp Soc, Los Alamitos, CA, United States, pp. 230-235, Proceedings of the 1997 International Conference on Parallel and Distributed Systems, Seoul, South Korea, 97/12/10.

@inproceedings{781df3b0e06e45fe8f144a83151fd1d7,

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",

editor = "Anon",

booktitle = "Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS",

publisher = "IEEE Comp Soc",

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

}

TY - GEN

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 - http://www.scopus.com/inward/record.url?scp=0031335741&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0031335741&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0031335741

SP - 230

EP - 235

BT - Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS

A2 - Anon, null

PB - IEEE Comp Soc

CY - Los Alamitos, CA, United States

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

Other

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this