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

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.<>