An Improved Method for Constructing Multiphase Communications Protocols

Authors:
H. -A. Lin;C. -L. Tarng
Affiliations:
-;-
Venue:
IEEE Transactions on Computers
Year:
1993

Citing 10
Cited 6

Data networks

Data networks
Protocol verification using reachability analysis: the state space explosion problem and relief strategies

SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Computer networks

Computer networks
Constructing Protocols with Alternative Functions

IEEE Transactions on Computers - Special issue on protocol engineering
Internetworking with TCP/IP (2nd ed.), vol. I

Internetworking with TCP/IP (2nd ed.), vol. I
A discipline for constructing multiphase communication protocols

ACM Transactions on Computer Systems (TOCS)
Probabilistic Verification of Communication Protocols

Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
A decomposition method for the analysis and design of finite state protocols

SIGCOMM '83 Proceedings of the eighth symposium on Data communications
An exercise in constructing multi-phase communication protocols

SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
General technique for communications protocol validation

IBM Journal of Research and Development

A methodology for designing communication protocols

SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
Constraint-based structuring of network protocols

Distributed Computing
Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance

IEEE Transactions on Software Engineering
Decomposition of fairness and performance aspects for high assurance continuous process-control systems

HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
On constructing communication protocols from component-based service specifications

Computer Communications
Verifying liveness properties of multifunction composite protocols

Computer Communications

Quantified Score

Hi-index	14.98

Visualization

Abstract

An extension to an existing method for building multiphase protocols is presented. One of the limitations of the former method is a stringent restriction on the validity of phases. Consequently, the protocols built by this method must run in a noiseless environment or rely on other protocols for reliable transport. Another restriction is a rigid requirement on the selection of the points that connect different phases. The presented method either minimizes or eliminates the above restrictions. It enables a multiphase protocol to deal with message corruption and loss, and provides a less restrictive way for phase connection. It also maintains the advantages of the existing method in allowing a multiphase protocol to be constructed in an easy and modular way.