抄録
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 10 → 2001 10 12 |
Other
| Other | 9th IEEE International Conference on Networks, ICON 2001 |
|---|---|
| 市 | Bangkok |
| 期間 | 01/10/10 → 01/10/12 |
Fingerprint
ASJC Scopus subject areas
- Computer Networks and Communications
- Software
- Electrical and Electronic Engineering
- Safety, Risk, Reliability and Quality
これを引用
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
}
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 -