Protocol Conversion: Synchronizing Transition Set Approach in EFSM Model

With proliferation of different network architectures, it has been recognized that protocol conversion is essential for achieving the interoperability between computer networks that implement different protocols. [1,2] While many protocol converter construction algorithms were proposed in recent years, it has also been observed by many researchers that algorithms based on service specification have in general less complexity at the design stage. In a previous paper [3], a five-step algorithm in the CFSM (Communication Finite State Machine) model was proposed to formally derive a protocol converter from the service specification: (1) Generate the Service System Graph from the given service specifications; (2) Derive the Conversion Service Specification from the service system graph; (3) Generate the the Synchronizing Transition Sets from the conversion service specification; (4) Compose the converter using the synchronizing transition sets; and (5) Remove the remaining service transitions to obtain the final Protocol Converter Specification.