Title :
Internetworking between TP4 and TCP through protocol complementation
Author :
Das, Subir ; Dhar, P.
Author_Institution :
Dept. of Electron. & Electr. Commun. Eng., Indian Inst. of Technol., Kharagpur, India
Abstract :
Like protocol conversion, protocol complementation is an approach for network interconnection. This paper describes the internetworking between TP4 and TCP at the transport level through protocol complementation. This applies to the need for interoperability between ISO-OSI and Internet. From the given CFSM specifications of protocol P[P s,Pr] of TP4 and Q[Qs,Qr] of TCP, we have constructed a composite protocol CFSM RPQ for the converter which may be inserted as a virtual layer to provide a uniform view to the users. An attempt has been made to implement the converter through Estelle-C (Extended State Transition Language) compiler, a formal description tool for protocol specification and verification
Keywords :
internetworking; open systems; transport protocols; CFSM specifications; Estelle-C; ISO-OSI; Internet; TCP; TP4; composite protocol CFSM; formal description tool; internetworking; interoperability; protocol complementation; protocol specification; protocol verification; transport level; virtual layer; Convergence; Internet; Internetworking; LAN interconnection; Lakes; Open systems; Postal services; Research and development; Resource management; Transport protocols;
Conference_Titel :
Algorithms and Architectures for Parallel Processing, 1995. ICAPP 95. IEEE First ICA/sup 3/PP., IEEE First International Conference on
Conference_Location :
Brisbane, Qld.
Print_ISBN :
0-7803-2018-2
DOI :
10.1109/ICAPP.1995.472200
