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 PublicationLos 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月 101997 12月 13

    Other

    OtherProceedings of the 1997 International Conference on Parallel and Distributed Systems
    CitySeoul, South Korea
    Period97/12/1097/12/13

    ASJC Scopus subject areas

    • 工学一般

    フィンガープリント

    「Equivalence algorithm to point out errors for basic LOTOS in distributed system environment and its prototype」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル