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

    Fingerprint

    Specification languages
    Network protocols
    Knowledge acquisition
    Computer systems
    Mathematical models
    Specifications

    ASJC Scopus subject areas

    • Engineering(all)

    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). Los Alamitos, CA, United States: IEEE Comp Soc.

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

    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 proceedingConference 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.
    Park BH, Kimura S, Lee ES, Shiratori N. Equivalence algorithm to point out errors for basic LOTOS in distributed system environment and its prototype. In Anon, editor, Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS. Los Alamitos, CA, United States: IEEE Comp Soc. 1997. p. 230-235
    Park, Byung ho ; Kimura, Shigetomo ; Lee, Eun Seok ; Shiratori, Norio. / Equivalence algorithm to point out errors for basic LOTOS in distributed system environment and its prototype. Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS. editor / Anon. Los Alamitos, CA, United States : IEEE Comp Soc, 1997. pp. 230-235
    @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",

    }

    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

    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

    ER -