About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
IEEE Transactions on Communications
Paper
Protocol Validation by Duologue-Matrix Analysis
Abstract
A protocol is a set of rules which governs the interaction between processes. It is difficult to design protocols without errors because there are usually more interactions possible than anticipated. We are concerned with two-process protocols. A technique is described which identifies design errors in protocols. The technique is based on modeling a protocol as a pair of interacting graphs whereby interaction sequences are represented by path pairs (one path in each graph). The technique is currently limited to protocols that must revert to an initial or quiescent state after a finite number of interaction steps. The work represents a theory that can be automated on a digital computer. Copyright © 1978 by The Institute of Electrical and Electronics Engineers, Inc.