Composition method of communication system specifications in asynchronous model and its support system

N. Maneerat, R. Varakulsiripunth, D. Seki, K. Yoshida, K. Takahashi, Y. Kato, B. B. Bista, N. Shiratori

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)

    Abstract

    One of the most important methods in communication system design, especially in protocol design, is the composition method. We propose a method for simultaneously composing service specifications and protocol specifications based on the LOTOS language. In this method, an asynchronous communication model is adopted which is more realistic in actual communication networks. We use the concept of the weak bisimulation equivalence to represent the correctness of composition. A software support system based on the proposed composition method is also described.

    Original languageEnglish
    Title of host publicationIEEE International Conference on Networks, ICON
    PublisherIEEE Computer Society
    Pages64-69
    Number of pages6
    ISBN (Print)0769511864, 9780769511863
    DOIs
    Publication statusPublished - 2001
    Event9th IEEE International Conference on Networks, ICON 2001 - Bangkok
    Duration: 2001 Oct 102001 Oct 12

    Other

    Other9th IEEE International Conference on Networks, ICON 2001
    CityBangkok
    Period01/10/1001/10/12

    ASJC Scopus subject areas

    • Computer Networks and Communications
    • Software
    • Electrical and Electronic Engineering
    • Safety, Risk, Reliability and Quality

    Fingerprint Dive into the research topics of 'Composition method of communication system specifications in asynchronous model and its support system'. Together they form a unique fingerprint.

  • Cite this

    Maneerat, N., Varakulsiripunth, R., Seki, D., Yoshida, K., Takahashi, K., Kato, Y., Bista, B. B., & Shiratori, N. (2001). Composition method of communication system specifications in asynchronous model and its support system. In IEEE International Conference on Networks, ICON (pp. 64-69). [962318] IEEE Computer Society. https://doi.org/10.1109/ICON.2001.962318