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

doi:10.1109/ICON.2001.962318

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	https://doi.org/10.1109/ICON.2001.962318
出版ステータス	Published - 2001
イベント	9th IEEE International Conference on Networks, ICON 2001 - Bangkok 継続期間: 2001 10月 10 → 2001 10月 12

Other

Other	9th IEEE International Conference on Networks, ICON 2001
City	Bangkok
Period	01/10/10 → 01/10/12

ASJC Scopus subject areas

コンピュータネットワークおよび通信
ソフトウェア
電子工学および電気工学
安全性、リスク、信頼性、品質管理

文献へのアクセス

10.1109/ICON.2001.962318

他のファイルとリンク

引用スタイル

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

@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",

note = "9th IEEE International Conference on Networks, ICON 2001 ; Conference date: 10-10-2001 Through 12-10-2001",

}

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

AN - SCOPUS:1642351984

SN - 0769511864

SN - 9780769511863

SP - 64

EP - 69

BT - IEEE International Conference on Networks, ICON

PB - IEEE Computer Society

T2 - 9th IEEE International Conference on Networks, ICON 2001

Y2 - 10 October 2001 through 12 October 2001

ER -

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

抄録

Other

ASJC Scopus subject areas

文献へのアクセス

他のファイルとリンク

フィンガープリント

引用スタイル