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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

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.

Original language	English
Title of host publication	IEEE International Conference on Networks, ICON
Publisher	IEEE Computer Society
Pages	64-69
Number of pages	6
ISBN (Print)	0769511864, 9780769511863
DOIs	https://doi.org/10.1109/ICON.2001.962318
Publication status	Published - 2001
Event	9th IEEE International Conference on Networks, ICON 2001 - Bangkok Duration: 2001 Oct 10 → 2001 Oct 12

Other

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

ASJC Scopus subject areas

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

Access to Document

10.1109/ICON.2001.962318

Cite this

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

Abstract

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this