Communicating sequential processes
Communicating sequential processes
An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
IEEE Transactions on Software Engineering - Special issue on COMPSAC 1982 and 1983
Deriving protocol specifications from service specifications
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Synthesis of two-party error-recoverable protocols
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantic evaluation from left to right
Communications of the ACM
The importance of the service concept in the design of data communications protocols
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Fundamental Results for the Verification of Observational Equivalence: A Survey
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
A methodology for protocol design and specification based on an extended state transition model
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
A constructive approach to reliable synchronization code
ICSE '79 Proceedings of the 4th international conference on Software engineering
Synthesis of communications protocols: an annotated bibliography
ACM SIGCOMM Computer Communication Review
Synthesizing distributed real-time systems modeled by a timed version of a subset of LOTOS
Proceedings of the 14th international symposium on Systems synthesis
Deriving protocol specifications from service specifications written in LOTOS
Distributed Computing
Deriving protocol specifications from service specifications written as predicate/transition-nets
Computer Networks: The International Journal of Computer and Telecommunications Networking
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
| Hi-index | 0.00 |
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.