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
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
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
Usage of Protocol Development Tools: The Results of a Survey
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Synthesis of Communication Protocols: Survey and Assessment
IEEE Transactions on Computers - Special issue on protocol engineering
SDE: Incremental Specification and Development of Communications Software
IEEE Transactions on Computers - Special issue on protocol 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
A Decomposition of a Formal Specification: An Improved Constraint-Oriented Method
IEEE Transactions on Software Engineering
Formal specifications design, evolution and reuse
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Deriving protocol specifications from service specifications written in LOTOS
Distributed Computing
| Hi-index | 0.00 |
Previous papers describe an algorithm for deriving a specification of protocol entities from a given service specification. A service specification defines a particular ordering for the execution of service primitives at the different service access points using operators for sequential, parallel and alternative executions. The derived protocol entities ensure the correct ordering by exchanging appropriate synchronization messages, between one another through the underlying communication medium.This paper presents several new results which represent important improvements to the above protocol derivation approach. First the language restriction to finite behaviors is removed by allowing for the definition of procedures which can be called recursively. Secondly, a new derivation algorithm has been developed which is much simpler than the previous one. Third, the resulting protocol specifications are much more optimized than those obtained previously.