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

    研究成果: Conference contribution

    3 引用 (Scopus)

    抄録

    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.

    元の言語English
    ホスト出版物のタイトルIEEE International Conference on Networks, ICON
    出版者IEEE Computer Society
    ページ64-69
    ページ数6
    ISBN(印刷物)0769511864, 9780769511863
    DOI
    出版物ステータスPublished - 2001
    イベント9th IEEE International Conference on Networks, ICON 2001 - Bangkok
    継続期間: 2001 10 102001 10 12

    Other

    Other9th IEEE International Conference on Networks, ICON 2001
    Bangkok
    期間01/10/1001/10/12

    Fingerprint

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

    ASJC Scopus subject areas

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

    これを引用

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

    Composition method of communication system specifications in asynchronous model and its support system. / Maneerat, N.; Varakulsiripunth, R.; Seki, D.; Yoshida, K.; Takahashi, K.; Kato, Y.; Bista, B. B.; Shiratori, N.

    IEEE International Conference on Networks, ICON. IEEE Computer Society, 2001. p. 64-69 962318.

    研究成果: Conference contribution

    Maneerat, N, Varakulsiripunth, R, Seki, D, Yoshida, K, Takahashi, K, Kato, Y, Bista, BB & Shiratori, N 2001, Composition method of communication system specifications in asynchronous model and its support system. : IEEE International Conference on Networks, ICON., 962318, IEEE Computer Society, pp. 64-69, 9th IEEE International Conference on Networks, ICON 2001, Bangkok, 01/10/10. https://doi.org/10.1109/ICON.2001.962318
    Maneerat N, Varakulsiripunth R, Seki D, Yoshida K, Takahashi K, Kato Y その他. Composition method of communication system specifications in asynchronous model and its support system. : IEEE International Conference on Networks, ICON. IEEE Computer Society. 2001. p. 64-69. 962318 https://doi.org/10.1109/ICON.2001.962318
    Maneerat, N. ; Varakulsiripunth, R. ; Seki, D. ; Yoshida, K. ; Takahashi, K. ; Kato, Y. ; Bista, B. B. ; Shiratori, N. / Composition method of communication system specifications in asynchronous model and its support system. IEEE International Conference on Networks, ICON. IEEE Computer Society, 2001. pp. 64-69
    @inproceedings{ab28cf57a15744e583c572322bbb675e,
    title = "Composition method of communication system specifications in asynchronous model and its support system",
    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.",
    author = "N. Maneerat and R. Varakulsiripunth and D. Seki and K. Yoshida and K. Takahashi and Y. Kato and Bista, {B. B.} and N. Shiratori",
    year = "2001",
    doi = "10.1109/ICON.2001.962318",
    language = "English",
    isbn = "0769511864",
    pages = "64--69",
    booktitle = "IEEE International Conference on Networks, ICON",
    publisher = "IEEE Computer Society",

    }

    TY - GEN

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

    AU - Maneerat, N.

    AU - Varakulsiripunth, R.

    AU - Seki, D.

    AU - Yoshida, K.

    AU - Takahashi, K.

    AU - Kato, Y.

    AU - Bista, B. B.

    AU - Shiratori, N.

    PY - 2001

    Y1 - 2001

    N2 - 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.

    AB - 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.

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

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

    U2 - 10.1109/ICON.2001.962318

    DO - 10.1109/ICON.2001.962318

    M3 - Conference contribution

    SN - 0769511864

    SN - 9780769511863

    SP - 64

    EP - 69

    BT - IEEE International Conference on Networks, ICON

    PB - IEEE Computer Society

    ER -