Multiplex communications – Wide area network – Packet switching
Patent
1994-09-20
1997-10-21
Shah, Alpesh M.
Multiplex communications
Wide area network
Packet switching
370 8513, 379220, G06F 1300
Patent
active
056805527
ABSTRACT:
A gateway system for connecting first and second communication networks has first and second network end nodes and a protocol converter. The gateway system operates to provide input-output services of both network protocols to users of both networks in communicating through the gateway system. The gateway system employs associated complement protocol circuits in the end nodes and the protocol converter to provide these services. An efficient technique for generating the complement protocol of a first network is to prune finite state machines representing the operation of the second network protocol to provide the services of the second protocol that are not provided by the first protocol. The complement protocol circuits for the second network are then constructed based on the pruned finite state machines representing the operation of the first protocol.
REFERENCES:
patent: 5214646 (1993-05-01), Yacoby
patent: 5301303 (1994-04-01), Abraham et al.
patent: 5327544 (1994-07-01), Lee et al.
patent: 5455700 (1995-10-01), Thompson et al.
patent: 5457683 (1995-10-01), Robins
patent: 5481540 (1996-01-01), Huang
patent: 5485455 (1996-01-01), Dobbins et al.
patent: 5555244 (1996-09-01), Gupta et al.
Bochmann, G.V., "Deriving Protocol Converters for Communications Gateways," IEEE Transactions on Communications, vol. 38, No. 9, Sep. 1990, pp. 1298-1300.
Auerbach, J., "A Protocol Conversion Software Toolkit," Proc. ACM Sigcomm '89, Austin, Texas, Sep. 1989, pp. 259-270.
Bochmann, G.V., and Mondain-Monval, P., "Design Principles for Communication Gateways," IEEE J. on Selected Areas in Communications, vol. 8, 1990, pp. 12-21.
Calvert, K.L., and Lam, S.S., "Deriving a Protocol Converter: A Top-down Approach," Proc. ACM Sigcomm '89, Austin, Texas, Sep. 1989, pp. 247-258.
Even, S., and Shiloach, "An On-line Edge Deletion Problem," J. Assoc. Comput. Mach., vol. 28, 1981, pp. 1-4.
Frederickson, G.N., "Data Structures for On-line Updating of Minimum Spanning Trees with Applications," Siam J. Comput., vol. 14, 1985, pp. 781-798.
Green, P.E., "Protocol Conversion," IEEE Trans. Comm., vol. COM-34, No. 3, Mar. 1986, pp. 257-268.
Hoare, C.A.R., "Communicating Sequential Processes," Communications of the ACM, vol. 21, No. 8, Aug. 1978, pp. 666-677.
Kanellakis, P.C., and Smolka, S.A., "CCS Expressions, Finite States Processes and Three Problems of Equivalence," Information and Computation, vol. 86, 1990, pp. 43-68.
Kristol, D.M., et al., "A Polynomial Algorithm for Gateway Generation from Formal Specifications," IEEE/ACM Transactions On Networking, vol. 1, No. 2, Apr. 1993, pp. 217-229.
Kristol, D.M., et al., "Efficient Gateway Synthesis from Formal Specifications," Proc. Sigcomm '91.
Lam, S., "Protocol Conversion," IEEE Trans. Soft. Engr., vol. 14, No. 3, Mar. 1988, pp. 353-363, (an earlier version was presented at Sigcomm '86).
Lam, S., and Shankar, A.U., "Protocol Verification via Projections," IEEE Trans. on Software Engineering, vol. SE-10, No. 4, Jul. 1984, pp. 325-343.
Lee, D., et al., "Conformance Testing of Protocols Specified as Communicating Finite State Machines," Proc. Infocom '93.
Merlin, P.M., and Bochmann, G.V., "On the Construction of Submodule Specifications and Communication Protocols," ACM Trans. Prog. Lang. and Sys., vol. 5, No. 1, Jan. 1993.
Okumura, K., "A Formal Protocol Conversion Method," Proc. ACM Sigcomm '86, Stowe, Vermont, Aug. 5-7, 1986, pp. 30-37.
Pehrson, B. "Protocol Verification for OSI," Computer Networks and ISDN Systems, vol. 18, No. 3, Apr. 1990, pp. 185-202.
Paige, R., and Tarjan, R.E., "Three Partition Refinement Algorithms," Siam J. Comput., vol. 16, No. 6, Dec. 1987, pp. 973-989.
Sabnani, K., "An Algorithmic Technique for Protocol Verification," IEEE Trans. Comm., vol. COM-36, No. 8, Aug. 1988, pp. 924-931.
West, C.H., "An Automated Technique of Communication Protocol Validation," IEEE Trans. Comm., vol. COM-26, No. 8, Aug. 1978, pp. 1271-1275.
Tao, Y.W., et al., "A Modular Approach to Constructing Protocol Converters," Proc. Infocom '90, Jun. 1990, pp. 572-579.
Netravali Arun Narayan
Sabnani Krishan Kumar
Lucent Technologies - Inc.
Shah Alpesh M.
LandOfFree
Gateway system for interconnecting different data communication does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Gateway system for interconnecting different data communication , we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Gateway system for interconnecting different data communication will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1014294