From Service Specification to Protocol Converter A Synchronization Transition Set Approach

With the proliferation of different network architectures, it has been recognized that protocol conversion is needed for achieving the interoperability between computer networks that implement different protocols. Since 1986, many protocol converter construction algorithms based on formal models have been proposed. In the meantime, it has been observed by many researchers that algorithms based on service specification have in general less complexity at the design stage.