Composition of service and protocol specifications in asynchronous communication system

Noppadol Maneerat, Ruttikorn Varakulsiripunth, Bhed Bahadur Bista, Kaoru Takahashi, Yasushi Kato, Norio Shiratori

    Research output: Contribution to journalArticle

    2 Citations (Scopus)

    Abstract

    One of the important techniques in communication system design is the composition of service and protocol specifications. In this paper, we have presented a new approach to the composition technique based on the weak bisimulation concept The main objective is to combine service specifications and protocol specifications individually and simultaneously. The composition technique can maintain the equivalence between the composed service and protocol specifications. LOTOS language terms are utilized to describe the communication specifications. The application on the asynchronous model is presented. Moreover, a support system of the composition technique is developed and presented in this paper.

    Original languageEnglish
    Pages (from-to)2306-2317
    Number of pages12
    JournalIEICE Transactions on Information and Systems
    VolumeE87-D
    Issue number10
    Publication statusPublished - 2004 Oct

    Fingerprint

    Communication systems
    Specifications
    Network protocols
    Chemical analysis
    Specification languages
    Systems analysis
    Communication

    Keywords

    • Asynchronous model
    • LOTOS
    • LTS
    • Weak bisimulation

    ASJC Scopus subject areas

    • Information Systems
    • Computer Graphics and Computer-Aided Design
    • Software

    Cite this

    Maneerat, N., Varakulsiripunth, R., Bista, B. B., Takahashi, K., Kato, Y., & Shiratori, N. (2004). Composition of service and protocol specifications in asynchronous communication system. IEICE Transactions on Information and Systems, E87-D(10), 2306-2317.

    Composition of service and protocol specifications in asynchronous communication system. / Maneerat, Noppadol; Varakulsiripunth, Ruttikorn; Bista, Bhed Bahadur; Takahashi, Kaoru; Kato, Yasushi; Shiratori, Norio.

    In: IEICE Transactions on Information and Systems, Vol. E87-D, No. 10, 10.2004, p. 2306-2317.

    Research output: Contribution to journalArticle

    Maneerat, N, Varakulsiripunth, R, Bista, BB, Takahashi, K, Kato, Y & Shiratori, N 2004, 'Composition of service and protocol specifications in asynchronous communication system', IEICE Transactions on Information and Systems, vol. E87-D, no. 10, pp. 2306-2317.
    Maneerat N, Varakulsiripunth R, Bista BB, Takahashi K, Kato Y, Shiratori N. Composition of service and protocol specifications in asynchronous communication system. IEICE Transactions on Information and Systems. 2004 Oct;E87-D(10):2306-2317.
    Maneerat, Noppadol ; Varakulsiripunth, Ruttikorn ; Bista, Bhed Bahadur ; Takahashi, Kaoru ; Kato, Yasushi ; Shiratori, Norio. / Composition of service and protocol specifications in asynchronous communication system. In: IEICE Transactions on Information and Systems. 2004 ; Vol. E87-D, No. 10. pp. 2306-2317.
    @article{0d7337bafb8f44a9a65eebbf33f2e6a0,
    title = "Composition of service and protocol specifications in asynchronous communication system",
    abstract = "One of the important techniques in communication system design is the composition of service and protocol specifications. In this paper, we have presented a new approach to the composition technique based on the weak bisimulation concept The main objective is to combine service specifications and protocol specifications individually and simultaneously. The composition technique can maintain the equivalence between the composed service and protocol specifications. LOTOS language terms are utilized to describe the communication specifications. The application on the asynchronous model is presented. Moreover, a support system of the composition technique is developed and presented in this paper.",
    keywords = "Asynchronous model, LOTOS, LTS, Weak bisimulation",
    author = "Noppadol Maneerat and Ruttikorn Varakulsiripunth and Bista, {Bhed Bahadur} and Kaoru Takahashi and Yasushi Kato and Norio Shiratori",
    year = "2004",
    month = "10",
    language = "English",
    volume = "E87-D",
    pages = "2306--2317",
    journal = "IEICE Transactions on Information and Systems",
    issn = "0916-8532",
    publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",
    number = "10",

    }

    TY - JOUR

    T1 - Composition of service and protocol specifications in asynchronous communication system

    AU - Maneerat, Noppadol

    AU - Varakulsiripunth, Ruttikorn

    AU - Bista, Bhed Bahadur

    AU - Takahashi, Kaoru

    AU - Kato, Yasushi

    AU - Shiratori, Norio

    PY - 2004/10

    Y1 - 2004/10

    N2 - One of the important techniques in communication system design is the composition of service and protocol specifications. In this paper, we have presented a new approach to the composition technique based on the weak bisimulation concept The main objective is to combine service specifications and protocol specifications individually and simultaneously. The composition technique can maintain the equivalence between the composed service and protocol specifications. LOTOS language terms are utilized to describe the communication specifications. The application on the asynchronous model is presented. Moreover, a support system of the composition technique is developed and presented in this paper.

    AB - One of the important techniques in communication system design is the composition of service and protocol specifications. In this paper, we have presented a new approach to the composition technique based on the weak bisimulation concept The main objective is to combine service specifications and protocol specifications individually and simultaneously. The composition technique can maintain the equivalence between the composed service and protocol specifications. LOTOS language terms are utilized to describe the communication specifications. The application on the asynchronous model is presented. Moreover, a support system of the composition technique is developed and presented in this paper.

    KW - Asynchronous model

    KW - LOTOS

    KW - LTS

    KW - Weak bisimulation

    UR - http://www.scopus.com/inward/record.url?scp=7544227214&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=7544227214&partnerID=8YFLogxK

    M3 - Article

    VL - E87-D

    SP - 2306

    EP - 2317

    JO - IEICE Transactions on Information and Systems

    JF - IEICE Transactions on Information and Systems

    SN - 0916-8532

    IS - 10

    ER -