Title :
A fast protocol conversion technique using reduction of state transition graphs
Author :
Saha, D. ; Dhar, P.
Author_Institution :
Dept. of Comput. Sci. & Eng., Jadavpur Univ., Calcutta, India
Abstract :
A technique to improve the formal protocol conversion method suggested by K. Okumura (1986) is presented. The algorithm first constructs the reduced state transition graphs (STGs) of the protocols for which the converter is to be designed, and then follows the Okumura algorithm to produce a reduced communicating finite state machine (CFSM) model of the converter. This reduced machine is expanded to obtain the complete single CFSM converter. The reduction of STGs lowers the computational complexity of Okumura´s algorithm by one or two orders of magnitude but does not disturb the desired functionality of the converter. The approach has been applied to design a converter between two example protocols.<>
Keywords :
computational complexity; finite state machines; internetworking; open systems; protocols; CFSM converter; Okumura algorithm; computational complexity; protocol conversion; reduced communicating finite state machine; reduced state transition graphs; Algorithm design and analysis; Automata; Computer architecture; Computer networks; Computer science; Environmental economics; Informatics; Open systems; Protocols; Service oriented architecture;
Conference_Titel :
Computers and Communications, 1992. Conference Proceedings., Eleventh Annual International Phoenix Conference on
Conference_Location :
Scottsdale, AZ, USA
Print_ISBN :
0-7803-0605-8
DOI :
10.1109/PCCC.1992.200529
