1996-02-23
1996-11-12
Oberley, Alvin E.
G06F 1300
Patent
active
055749194
ABSTRACT:
A method for simplifying computer protocols is disclosed which offers advantages in reducing the memory and processing requirements for invoking the protocol. In accordance with the present invention, a protocol is represented as a collection of communicating finite machines. The subset of services offered by the protocol desired by a user is also specified as a finite state machine. The method finds the thinned version of the protocol by comparing the finite state machine representation of the protocol with the finite state machine representation of the subset of desired services and keeps only that part of the protocol necessary for providing the desired subset of services.
REFERENCES:
patent: 4692921 (1987-09-01), Dahbura et al.
patent: 4991176 (1991-02-01), Dahbura et al.
patent: 5067104 (1991-11-01), Krishnakumar et al.
patent: 5084877 (1992-01-01), Netravali et al.
patent: 5130986 (1992-07-01), Doshi et al.
patent: 5327544 (1994-07-01), Lee et al.
A. S. Tanenbaum, "Computer Networks," Prentice-Hall Software Series, 10-16, 1981.
Engineering and Operations in the Bell System, Second Edition, Reorganized and Rewritten Telecommunications in the Bell System in 1982-1983, Prepared by Members of the Technical Staff and the Technical Publication Department, AT&T Bell Laboratories, 316-317, 1977.
C. H. West, "General Technique for Communications Protocol Validation," IBM J. Res. Develop., vol. 22, No. 4, 393-404, Jul. 1978.
C. H. West, "An Automated Technique of Communications Protocol Validation," IEEE Transactions on Communications, vol. COM-26, No. 8, 1271-1275, Aug. 1978.
G. V. Bochmann and C. A. Sunshine, "A Survey of Formal Methods," Computer Network Architectures and Protocols, Plenum Press, New York and London, 561-578 (1982).
C. A. R. Hoare, "Communicating Sequential Processes," Communications of the ACM, vol. 21, No. 8, 666-677, Aug. 1978.
M. U. Uyar et al., "Algorithmic Verifications of ISDN Network Layer Protocol," AT&T Technical Journal, 17-31, Jan./Feb. 1990.
K. K. Sabnani et al., "An Algorithmic Procedure for Checking Safety Properties Prococols," IEEE Transactions on Communications, vol. 37, No. 9, 940-948, Sep. 1989.
A. N. Netravali et al., "Design and Implementation of a High-Speed Transport Protocols," IEEE Transactions on Communications, vol. 38, No. 11, 2010-2024, Nov. 1990.
D. Lee et al., "Conformance Testing of Protocols Specified as Communicating FSMs," IEEE Infocom '93 Proceedings, vol. 1, 115-127, Mar./Apr. 1993.
Netravali Arun N.
Sabnani Krishan K.
Chavis John A.
Lucent Technologies - Inc.
Oberley Alvin E.
Olson Katharyn E.
LandOfFree
Method for thinning a protocol 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 for thinning a protocol, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for thinning a protocol will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-572248