This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Protocol Conversion
March 1988 (vol. 14 no. 3)
pp. 353-362

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.

[1] ANSI/IEEE Standards for Local Area Networks, IEEE Standards 802.2, 802.3, 802.4, 802.5, 1984.
[2] "Draft revised CCITT recommendation X.25,"ACM Comput. Commun. Rev., Jan./Apr. 1980.
[3] K. Calvert and S. S. Lam, "An exercise in deriving a protocol conversion," inProc. ACM SIGCOMM Workshop, Stowe, VT, Aug. 1987.
[4] "DoD standard internet protocol and DoD standard transmission control protocol,"ACM Comput. Commun. Rev., Oct. 1980.
[5] P. E. Green, "Protocol conversion,"IEEE Trans. Commun., vol. COM-34, no. 3, Mar. 1986.
[6] I. Groenbaek, "Conversion between the TCP and transport protocols as a method of achieving interoperability between data communications systems,"IEEE J. Select. Areas Commun., vol. SAC-4, no. 2, pp. 288-296, 1986.
[7] S. S. Lam, "Data link control procedures," inComputer Communications, vol. 1, W. Chou, Ed. Englewood Cliffs, NJ: Prentice-Hall, 1983, pp. 81-113.
[8] S. S. Lam and A. U. Shankar, "Protocol verification via projections,"IEEE Trans. Software Eng., vol. SE-10, no. 4, pp. 325-342, July 1984.
[9] S. S. Lam, "Protocol conversion-correctness problems," inProc. ACM Sigcomm '86 Symp., Stowe, VT, Aug. 1986, pp. 19-29.
[10] Z. Manna and A. Pnueli, "Adequate proof principles for invariance and liveness properties of concurrent programs,"Sci. Comput. Program., vol. 4, pp. 257-289, 1984.
[11] J. E. McNamara,Technical Aspects of Data Communications. Maynard, MA: Digital Equipment Corp., 1977.
[12] K. Okumura, "A formal protocol conversion method," inProc. ACM SIGCOMM, 1986, pp. 30-37.
[13] A. Pnueli, "Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of CurrentTrends," inCurrent Trends in Concurrency: Overviews and Tutorials. W.-P. de Roever and G. Rozenberg, eds., Lecture Notes in Computer Science 224, Springer-Verlag, N.Y., 1986, pp. 510-584.
[14] A. U. Shankar and S. S. Lam, "An HDLC protocol specification and its verification using image protocols,"ACM Trans. Comput. Syst., vol. 1, no. 4, pp. 321-368, Nov. 1983.
[15] A. U. Shankar and S. S. Lam, "Time-dependent distributed systems: Proving safety, liveness, and real-time properties,"Distributed Comput., vol. 2, pp. 61-79, 1987.
[16] J. F. Shoch, D. Cohen, and E. A. Taft, "Mutual encapsulation of internetwork protocols,"Comput. Networks, pp. 287-300, 1981.
[17] M. S. Unsoy and T. A. Shanahan, "X.75 internetworking of Datapac and Telenet," inProc. 7th Data Commun. Symp., 1981, pp. 232- 239.
[18] H. Zimmermann, "OSI reference model--The ISO model of architecture for Open Systems Interconnection,"IEEE Trans. Commun., vol. COM-28, no. 4, pp. 425-432, Apr. 1980.

Index Terms:
logical connectivity; protocol; converter; formal model; memoryless converters; finite-state converters; computer networks; protocols
Citation:
S.S. Lam, "Protocol Conversion," IEEE Transactions on Software Engineering, vol. 14, no. 3, pp. 353-362, March 1988, doi:10.1109/32.4655
Usage of this product signifies your acceptance of the Terms of Use.