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

Author

Maneerat, Noppadol ; Varakulsiripunth, Ruttikorn ; Seki, Daisuke ; Yoshida, Kazuki ; Takahashi, Kaoru ; Kato, Yasushi ; Bista, Bhed Bahadur ; Shiratori, Norio

Author_Institution

Fac. of Eng., King Mongkut´´s Inst. of Technol., Bangkok, Thailand

fYear

2001

fDate

10-12 Oct. 2001

Firstpage

64

Lastpage

69

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.

Keywords

bisimulation equivalence; formal specification; protocols; specification languages; telecommunication network planning; LOTOS language; asynchronous communication model; communication networks; communication system design; composition method; correctness; protocol design; protocol specifications; service specifications; software support system; weak bisimulation equivalence; Access protocols; Asynchronous communication; Communication networks; Communication system software; Design engineering; Design methodology; Educational institutions; Information science; Information technology; Software systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Networks, 2001. Proceedings. Ninth IEEE International Conference on

ISSN

1531-2216

Print_ISBN

0-7695-1187-4

Type

conf

DOI

10.1109/ICON.2001.962318

Filename

962318