Modeling and Verification of Real-Time Protocols for Broadcast Networks
IEEE Transactions on Software Engineering
Internetworking with TCP/IP: principles, protocols, and architecture
Internetworking with TCP/IP: principles, protocols, and architecture
Self-Synchronizing Communication Protocols
IEEE Transactions on Computers
Method of analysing extended finite-state machine specifications
Computer Communications
A discipline for constructing multiphase communication protocols
ACM Transactions on Computer Systems (TOCS)
On Communicating Finite-State Machines
Journal of the ACM (JACM)
An HDLC protocol specification and its verification using image protocols
ACM Transactions on Computer Systems (TOCS)
A decomposition method for the analysis and design of finite state protocols
SIGCOMM '83 Proceedings of the eighth symposium on Data communications
A methodology for designing communication protocols
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
An Improved Method for Constructing Multiphase Communications Protocols
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
On constructing communication protocols from component-based service specifications
Computer Communications
Verifying liveness properties of multifunction composite protocols
Computer Communications
| Hi-index | 0.00 |
The author describes a method for designing communication protocols which can perform several distinct functions, but are limited to the execution of one function at a time. The construction of such a protocol consists of two steps: (1) developing a component protocol for each function to be included, and (2) integrating the components into the target protocol. The integration involves the resolution of potential component competition and process synchronization problems. A sufficient condition for the safety of the integrated protocol is also discussed. This design method is simple to use and promotes reuse of existing protocols. The construction of two protocols-the call setup phase of a data link control protocol and a portion of the CCITT's X.21 Recommendation-is demonstrated.