Structure of a LOTOS interpreter
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Brinch Hansen on Pascal Compilers
Brinch Hansen on Pascal Compilers
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
A simulation environment for protocol specifications described in ESTELLE
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Experience with formal methods in protocol development
ACM SIGCOMM Computer Communication Review
Generating efficient protocol code from an abstract specification
Conference proceedings on Applications, technologies, architectures, and protocols for computer communications
Constructive Protocol Specification Using Cicero
IEEE Transactions on Software Engineering
Designing an Agent Synthesis System for Cross-RPC Communication
IEEE Transactions on Software Engineering
Implementing declarative overlays
Proceedings of the twentieth ACM symposium on Operating systems principles
Some notes on the history of protocol engineering
Computer Networks: The International Journal of Computer and Telecommunications Networking
Research: The ISO virtual terminal protocol: a semi-automatic implementation
Computer Communications
Improving the efficiency of automated protocol implementation using Estelle
Computer Communications
Modularity versus efficiency in OSI system implementations
Computer Communications
Tool support for hardware/software co-design of communication protocols
Computer Communications
| Hi-index | 0.00 |
The basic ideas underlying an Estelle-C compiler, which accepts an Estelle protocol specification and produces a protocol implementation in C, are presented. The implementation of the ISO (International Organization for Standardization) class-2 transparent protocol, using the semiautomatic approach, is discussed. A manual implementation of the protocol is performed and compared to the semiautomatic implementation. The semiautomatic approach to protocol implementation offers several advantages over the conventional manual one, including correctness and modularity in protocol implementation code, conformance to the specification, and reduction in implementation time. Finally, ongoing development of a new Estelle-C compiler is presented.