Method and apparatus for designing gateways for computer network

Details Method and apparatus for designing gateways for computer network Method and apparatus for designing gateways for computer network

1991-08-29

1994-07-05

Coleman, Eric

Boots, shoes, and leggings

3642601, 3642611, 3642642, 36424294, 364DIG1, 3642408, G06F 1300

Patent

active

053275446

ABSTRACT:
A method for synthesizing gateways from formal specifications. We present an efficient procedure that computes protocol converters from formal specifications. This procedure has a polynomial number of computation steps. The method involves computation of a common subset of services. This common subset is used to compute the converter. Conditions under which the converter can be stateless are also described.

REFERENCES:
patent: 4648061 (1987-03-01), Foster
J. Auerbach, "A Protocol Conversion Software Toolkit," Proc. of the ACM SIGCOMM 1989, Austin, Tex., pp. 259-270, Sep. 1989.
G. V. Bochmann, Principles of Protocol Conversion and Communication Gateways, Publication #624, Universite de Montreal, Montreal, Canada.
K. L. Calvert and S. S. Lam, "Deriving a Protocol Converter: A Top-down Approach," Proc. ACM SIGCOMM 1989, Austin, Tex., pp. 247-258, Sep. 1989.
S. Lam, "Protocol Conversion," IEEE Trans. Soft. Engr., vol. 14, No. 3, pp. 353-362, Mar. 1988.
P. M. Merlin and G. V. Bochmann, "On the construction of submodule specification and communication protocols," ACM Trans. Prog. Lang. and Sys., vol. 5, No. 1, Jan. 1983.
K. Okumura, "A Formal Protocol Conversion Method," Proc. ACM SIGCOMM 1986, Stowe, Vt., pp. 30-37, Aug. 1986.
Y.-W. Yao, W.-S. Chen and M. T. Liu, "A Modular approach to constructing Protocol Converters," Proc. INFOCOM 1990, pp. 572-579, Jun. 1990.
Software Pipelining of Loops by Pipelining Strongly Connected Components, Jovanovic, Zoran, IEEE Comput. Soc. Press 1991 pp. 351-365.

Affiliated with

Also associated with

Rating

Method and apparatus for designing gateways for computer network does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and apparatus for designing gateways for computer network, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for designing gateways for computer network will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-803281