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

^*この研究の対応する著者

研究成果: Conference contribution

抄録

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.

本文言語	English
ホスト出版物のタイトル	Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS
編集者	Anon
Place of Publication	Los Alamitos, CA, United States
出版社	IEEE Comp Soc
ページ	230-235
ページ数	6
出版ステータス	Published - 1997
イベント	Proceedings of the 1997 International Conference on Parallel and Distributed Systems - Seoul, South Korea 継続期間: 1997 12月 10 → 1997 12月 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

工学（全般）

他のファイルとリンク

引用スタイル

Equivalence algorithm to point out errors for basic LOTOS in distributed system environment and its prototype. / Park, Byung ho; Kimura, Shigetomo; Lee, Eun Seok その他.

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.

研究成果: 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

抄録

Other

ASJC Scopus subject areas

他のファイルとリンク

フィンガープリント

引用スタイル