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

    Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
    Title of host publicationProceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS
    Editors Anon
    Place of PublicationLos Alamitos, CA, United States
    PublisherIEEE Comp Soc
    Pages230-235
    Number of pages6
    Publication statusPublished - 1997
    EventProceedings of the 1997 International Conference on Parallel and Distributed Systems - Seoul, South Korea
    Duration: 1997 Dec 101997 Dec 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

    • Engineering(all)

    Fingerprint Dive into the research topics of 'Equivalence algorithm to point out errors for basic LOTOS in distributed system environment and its prototype'. Together they form a unique fingerprint.

  • Cite this

    Park, B. H., Kimura, S., Lee, E. S., & 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 (pp. 230-235). IEEE Comp Soc.