Deriving protocol specifications from service specifications including parameters
- 1 November 1990
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Computer Systems
- Vol. 8 (4) , 255-283
- https://doi.org/10.1145/128733.128734
Abstract
The service specification concept has acquired an increasing level of recognition by protocol designers. This architectural concept influences the methodology applied to service and protocol definition. Since the protocol is seen as the logical implementation of the service, one can ask whether it is possible to formally derive the specification of a protocol providing a given service. This paper addresses this question and presents an algorithm for deriving a protocol specification from a given service specification. It is assumed that services are described by expressions, where names identifying both service primitives and previously defined services are composed using operators for sequence, parallelism and alternative. Services and service primitives may have input and output parameters. Composition of services from predefined services and service primitives is also permitted. The expression defining the service is the basis for the protocol derivation process. The algorithm presented fully automates the derivation process. Future work will focus on the optimization of traffic between protocol entities and on applications.Keywords
This publication has 12 references indexed in Scilit:
- Deriving protocol specifications from service specificationsPublished by Association for Computing Machinery (ACM) ,1986
- Synthesis of two-party error-recoverable protocolsPublished by Association for Computing Machinery (ACM) ,1986
- An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 ProtocolIEEE Transactions on Software Engineering, 1985
- A methodology for protocol design and specification based on an extended state transition modelACM SIGCOMM Computer Communication Review, 1984
- On the Construction of Submodule Specifications and Communication ProtocolsACM Transactions on Programming Languages and Systems, 1983
- Towards Analyzing and Synthesizing ProtocolsIEEE Transactions on Communications, 1980
- Formal Methods in Communication Protocol DesignIEEE Transactions on Communications, 1980
- Finite state description of communication protocolsComputer Networks (1976), 1978
- An Automated Technique of Communications Protocol ValidationIEEE Transactions on Communications, 1978
- Semantic evaluation from left to rightCommunications of the ACM, 1976