Composition of service and protocol specifications in asynchronous communication system

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

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    2 Citations (Scopus)


    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
    Issue number10
    Publication statusPublished - 2004 Oct


    • Asynchronous model
    • LOTOS
    • LTS
    • Weak bisimulation

    ASJC Scopus subject areas

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


    Dive into the research topics of 'Composition of service and protocol specifications in asynchronous communication system'. Together they form a unique fingerprint.

    Cite this