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

Volume

1

fYear

1995

fDate

19-21 Apr 1995

Firstpage

315

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,P_r] of TP4 and Q[Qs,Qr] of TCP, we have constructed a composite protocol CFSM R_PQ 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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICAPP.1995.472200

Filename

472200