This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Synthesizing a Protocol Converter From Executable Protocol Traces
April 1991 (vol. 40 no. 4)
pp. 487-499

Communicating finite state machines (CFSM's) with FIFO (first in, first out) queues are used to model a protocol converter. A protocol conversion algorithm is developed and presented for the CSFM model of the protocols A and B. A converter H for protocols A=(A/sub 0/, A/sub 1/) and B=(B/sub 0/, B/sub 1/) is viewed as a black box such that H is between sender A/sub 0/ and receiver B/sub 1/. This gives a resulting protocol X=(A/sub 0/, H, B/sub 1/). The conversion algorithm requires a specification of the message relationships between the messages of protocols A and B. It is assumed that protocols A and B have the required progress properties. The algorithm includes a search for related messages from the two protocols in an FIFO from a composite space formed by a Cartesian cross-product of state spaces A/sub 1/ and B/sub 0/. The search produces finite-length traces which are combined to form a state machine H, which is examined for freedom from unspecified receptions, deadlocks, and livelocks. A protocol conversion example demonstrates the applicability of the algorithm.

[1] J. Auberbach, "A protocol conversion software toolkit," inProc. ACM SIGCOMM, Austin, TX, 1989.
[2] E. Biersack, "A systematic approach for constructing gateways,"Computer Networks ISDN Syst., vol. 18, no. 2, pp. 79-90, Feb. 1990.
[3] G. Bochmann,Principles of Protocol Conversion and Communication Gateways, Univ. of Montreal, Dep. Inform. Oper. Res., Publ. 624, 1989.
[4] C. H. Chow, M. G. Gouda, and S. S. Lam, "A discipline for constructing multi-phase communicating protocols,"ACM Trans. Comput. Syst., vol. 3, no. 4, pp. 315-343, Nov. 1985.
[5] K. L. Calvert and S. S. Lam, "Deriving a protocol converter: A top-down method," inProc. ACM SIGCOMMAustin, TX, 1989.
[6] K. L. Calvert and S. S. Lam, "Adaptors for protocol conversion," inProc. IEEE INFOCOM'90, vol. 2, 1990, pp. 552-560.
[7] P. Francois and A. Potocki, "Some methods for providing OSI transport in SNA,"IBM J. Res. Develop., vol. 27, no. 5, pp. 452-463, Sept. 1983.
[8] G. A. Deaton Jr. and R. O. "Hippert, X.25 and related recommendations in IBM products,"IBM Syst. J., vol. 22, no. 1/2, pp. 11-29, 1983.
[9] P. E. Green, "Protocol conversion,"IEEE Trans. Commun., vol. COM-34, no. 3, Mar. 1986.
[10] 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.
[11] IBM General Information,IBM Synchronous Data Link Control, IBM Corp., GA27-3093-2, 1979, File No. GENL-09.
[12] S. S. Lam, "Protocol conversion,"IEEE Trans. Software Eng., vol. 14, no. 3, pp. 353-362, 1988.
[13] S. S. Lam and A. U. Shankar, "Protocol verification via projections,"IEEE Trans. Software Eng., vol. SE-10, no. 4, pp. 325-342, 1984.
[14] P. Merlin and G. Bochmann, "On the construction of submodule specifications and communication protocols,"ACM TOPLAS, vol. 5, no. 1, pp. 1-25, 1983.
[15] Y. Ohara, S. Yoshitake, and T. Kawaoka, "Protocol conversion method for heterogeneous systems interconnection in multiprofile environment," inProc. 7th Int. Conf. Protocols, Specification, Testing, Verification, IFIP WG 6.1, H. Rudin and C. H. West, Eds. Amsterdam, The Netherlands, North-Holland, 1987.
[16] K. Okumura, "A formal protocol conversion method," inProc. ACM SIGCOMM, 1986, pp. 30-37.
[17] K. Okumura, "Generation of proper adapters and converters from a formal service specification," inProc. IEEE INFOCOM'90, vol. 2, 1990, pp. 564-571.
[18] M. Rajagopal, "Protocol conversion: An algorithmic approach," School of Electrical Engineering, Georgia Instit. Technol., 1990.
[19] J. C. Shu and M. T. Liu, "A synchronization model for protocol conversion," inProc. IEEE INFOCOM'89, vol. 1, 1989, pp. 276-284.
[20] K. K. Syet al., "OSI-SNA interconnections,"IBM Syst. J., vol. 26, no. 2, pp. 157-173, 1987.
[21] W. E. Bracker, Jr., "Surveying the protocol conversion vendor's offerings,"Data Commun., pp. 89-101, Aug. 1983.
[22] Y.-Wei Yao, W.-Shyen Chen, and M. T. Liu, "A modular approach to constructing protocol converters," inProc. IEEE INFOCOM'90, vol. 2, 1990, pp. 572-579, 1990.

Index Terms:
protocol convertor synthesis; executable protocol traces; finite state machines; queues; model; protocol conversion algorithm; conversion algorithm; message relationships; Cartesian cross-product; state spaces; deadlocks; livelocks; finite automata; protocols.
Citation:
M. Rajagopal, R.E. Miller, "Synthesizing a Protocol Converter From Executable Protocol Traces," IEEE Transactions on Computers, vol. 40, no. 4, pp. 487-499, April 1991, doi:10.1109/12.88468
Usage of this product signifies your acceptance of the Terms of Use.