Technical Reports

The ICICS/CS Reading Room

UBC CS TR-87-06 Summary

Semi-Automatic Implementation of Protocols Using an Estelle-C Compiler, March 1987 Son T. Vuong, Allen Chakming Lau and Robin Isaac Man-Hang Chan

In this paper, we present the basic ideas underlying an {\em Estelle-C} compiler, which accepts an {\em Estelle} protocol specification and produces a protocol implementation in C. We discuss our experience gained from using the semi-automatic approach to implement the ISO class 2 transport protocol. A manual implementation of the protocol is performed and compared with the semi-automatic implementation. We find the semi-automatic 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, we present our ongoing development of a new {\em Estelle-C} compiler.

If you have any questions or comments regarding this page please send mail to