Title :
Protocol conversion
Author_Institution :
Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
fDate :
3/1/1988 12:00:00 AM
Abstract :
The problem of achieving communication between two processes across a network or an internetwork is considered. The notion of logical connectivity between processes in a protocol is formalized. The problem of constructing a protocol converter to achieve interoperability between processes that implement different protocols is addressed. A formal model is presented, based on the theory of protocol projection, for reasoning about the semantics of different protocols and conversions between them. Two kinds of converters are presented: memoryless converters and finite-state converters. The construction of some finite-state converters is illustrated, and examples are given
Keywords :
computer networks; protocols; converter; finite-state converters; formal model; logical connectivity; memoryless converters; protocol; Communication standards; Computer architecture; Computer networks; IP networks; Image converters; Internetworking; Open systems; Protocols; Software standards; TCPIP;
Journal_Title :
Software Engineering, IEEE Transactions on
