An integration-oriented approach for designing communication protocols from component-based service specifications

Authors:
Masahide Nakamura;Yoshiaki Kakuda;Tohru Kikuno
Affiliations:
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University, Toyonaka City, Osaka, Japan;Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University, Toyonaka City, Osaka, Japan;Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University, Toyonaka City, Osaka, Japan
Venue:
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
Year:
1996

Citing 7
Cited 1

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
Constructing Protocols with Alternative Functions

IEEE Transactions on Computers - Special issue on protocol engineering
Synthesis of Communication Protocols: Survey and Assessment

IEEE Transactions on Computers - Special issue on protocol engineering
A discipline for constructing multiphase communication protocols

ACM Transactions on Computer Systems (TOCS)
On Communicating Finite-State Machines

Journal of the ACM (JACM)
An exercise in constructing multi-phase communication protocols

SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
On constructing communication protocols from component-based service specifications

Computer Communications

Synthesis of communications protocols: an annotated bibliography

ACM SIGCOMM Computer Communication Review

Quantified Score

Hi-index	0.00

Visualization

Abstract

A large and complex protocol is constructed by integrating components, each of which corresponds to subfunction specified in a service specification. The conventional approach to this construction is to integrate components on the protocol level using the existing protocol integration methods. In this approach, the reachability analysis of protocol components is required in the integration stage. So if the size of components becomes large, the integration stage would be a bottleneck because of the state explosion problem of the reachability analysis. Therefore, we propose a new approach to construct the target protocol which at first integrates components on the service specification level and then transforms an integrated service specification into the target protocol by protocol synthesis technique. As the result, the construction of the target protocol from component service specifications can be eficiently executed in small state space without paying special attentions to the timing of protocol messages.