Survey of formal description techniques (FDTs) for protocol converter design

Author

Gunawan, E. ; Tan Pek Tong ; Shi Nansi

Author_Institution

Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore

Volume

1

fYear

1993

fDate

19-21 Oct. 1993

Firstpage

422

Abstract

Protocol conversion is one of the very important research areas in protocol engineering. It is an effective approach to provide interconnectivity and interoperability between two different protocols. A protocol converter is a very complex piece of software, and its design must be precise and complete to provide the expected conversions. Formal description techniques (FDTs), which have formal syntax and semantics, are useful tools for its design. In this paper, we present a survey of existing and widely adopted FDTs, which has been made in view of the requirements of protocol converter design.<>

Keywords

convertors; design engineering; formal specification; open systems; protocols; formal description techniques; formal semantics; formal syntax; interconnectivity; interoperability; protocol converter design; protocol engineering; survey; Communication networks; Computer errors; Computer networks; Design engineering; Formal specifications; Information processing; Inhibitors; Protocols; Software design; Software systems;

fLanguage

English

Publisher

ieee

Conference_Titel

TENCON '93. Proceedings. Computer, Communication, Control and Power Engineering.1993 IEEE Region 10 Conference on

Conference_Location

Beijing, China

Print_ISBN

0-7803-1233-3

Type

conf

DOI

10.1109/TENCON.1993.320017

Filename

320017