On constructing 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, 1-3, Machikaneyama-cho, Toyonaka-shi, Osaka 560, Japan;Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University, 1-3, Machikaneyama-cho, Toyonaka-shi, Osaka 560, Japan;Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University, 1-3, Machikaneyama-cho, Toyonaka-shi, Osaka 560, Japan
Venue:
Computer Communications
Year:
1996

Citing 6
Cited 3

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
A discipline for constructing multiphase communication protocols

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

Journal of the ACM (JACM)
An Improved Method for Constructing Multiphase Communications Protocols

IEEE Transactions on Computers
An exercise in constructing multi-phase communication protocols

SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium

A higher level system communication model for object-oriented specification and design of embedded systems

Proceedings of the 2001 Asia and South Pacific Design Automation Conference
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended petri nets

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

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

Quantified Score

Hi-index	0.24

Visualization

Abstract

Constructing communication protocols from component service specifications, each of which specifies a subfunction of the target protocol, enables efficient development of a large and complex communication protocol. Concerning this construction, related techniques have been already proposed: integration of component protocol specifications into a single protocol specification and transformation of service specifications to protocol specifications. However, the integration needs special knowledge of communication protocols, and the transformation requires that a large and complex service specification should be developed as input to produce the target protocol. In order to cope with these problems, this paper proposes a new method which at first integrates component service specifications into a single service specification, and then transforms the service specification into the target protocol by a protocol synthesis technique. The most important point of view is that component integration is performed at the service specification level rather than the protocol specification level. Additionally, we define a class of 'well-formed' service specification which ensures correctness of the target protocol. As a result, the integration and transformation can be efficiently executed in small state space without special knowledge of communication protocols. Finally, we have shown the effectiveness of the proposed method by constructing a part of the real-life OSI protocol FTAM.