Title :
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
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;
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
DOI :
10.1109/TENCON.1993.320017
