This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Semiautomatic Implementation of Protocols Using an Estelle-C Compiler
March 1988 (vol. 14 no. 3)
pp. 384-393

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.

[1] J. P. Ansart, P. Amer, V. Chari, J. F. Lenotre, L. Lumbroso, E. Mariani, and E. Mattera, "Software tools for Estelle," inProtocol Specification, Testing and Verification, VI(IFIP/WG 6.1), B. Sarikaya and G. V. Bochmann, Eds. Amsterdam, The Netherlands: North-Holland, 1987.
[2] G. V. Bochmann and C. A. Sunshine, "Formal methods in communication protocol design,"IEEE Trans. Commun., vol. COM-28, no. 4, pp. 624-631, Apr. 1980.
[3] J. P. Briand, M. C. Fehri, L. Logrippo, and A. Obaid, "Structure of a LOTOS interpreter,"SIGCOMM'86 Symp., Stowe, VT, Aug. 1986.
[4] P. Brinch Hansen,Brinch Hansen on Pascal Compilers. Englewood Cliffs, NJ: Prentice-Hall, 1985.
[5] E. Brinksma, "A tutorial on LOTOS," inProc. 5th IFIP Symp. Protocol Spec. Test. Verif., June 1985.
[6] CCITT, Recommendations X.200-X.250, Red Book, Geneva, 1985.
[7] J. P. Courtiat, A. Pedroza, and J. M. Ayache, "A simulation environment for protocol specifications described in Estelle," inProtocol Specification, Testing and Verification, V(IFIP/WG 6.1), M. Diaz, Ed. Amsterdam, The Netherlands: North-Holland, 1986.
[8] ISO TC 7/SC 21/WG 1-FDT, Subgroup B, "Estelle-A formal description technique based on an extended state transition model," Feb. 1985.
[9] ISO TC 7/SC 21/WG 1-FDT, Subgroup B, "Estelle-A formal description technique based on an extended state transition model," Sept. 1986.
[10] J. P. Fauneau and R. J. Linn, "Automatic generation of test skeletons from protocol specification written in Estelle," inProtocol Specification, Testing and Verification, V(IFIP/WG 6.1), M. Diaz, Ed. Amsterdam, The Netherlands: North-Holland, (1986).
[11] D. A. Ford, "Semi-automatic implementation of network protocols," Master's thesis, Univ. British Columbia, Mar. 1985.
[12] J. Garguilo, J. P. Fauneau, M. Hobbs, and R. J. Linn, "Automated protocol development through use of the NBS Prototype Estelle compiler," ICST/APM-87-2, Nat. Bureau Standards, Gaithersburg, MD, Rep. ICST/APM-87-2, 1987.
[13] G. W. Gerber, "Une methode d'implantation automatique de systemes specifies formellement," Master's thesis, Univ. Montreal, 1983.
[14] ISO TC 97/SC 16, DP 8073, "Transport protocol specification," June 1982.
[15] ISO TC 97/SC 16, DP 8072, "Transport service definition," June 1982.
[16] ISO TC 97/SC 16/WG 1-FDT, Subgroup B, "A formal description technique based on an extended state transition model," Working Document, Mar. 1984.
[17] S. C. John, "YACC: Yet another compiler-compiler," Bell Labs., NJ, Rep. CS TR 32, 1975.
[18] A. Lau, "A semi-automatic approach to protocol implementation-- The ISO class 2 transport protocol as an example," Master's thesis, Univ. British Columbia, July 1986.
[19] M. K. Lesk, "Lex--A lexical analysis generator," Bell Labs., NJ, Rep. CS TR 39, 1975.
[20] R. J. Linn, "The features and facilities of Estelle: A formal description technique based upon an extended finite state machine model," inProtocol, Specification, Testing, and Verification V, M. Diaz, Ed. Amsterdam, The Netherlands: North-Holland, 1986, pp. 271-296.
[21] ISO TC 7/SC 16/WG 1-FDT, Subgroup C, N 299, "Definition of the temporal ordering specification language," May 1984.
[22] Nat. Bureau Standards, "Specification of a transport protocol for computer communication," Rep ICST/HLNP 83-2, Feb. 1983.
[23] P. D. Saqui-Sannes and J. P. Courtiat, "ESTIM: An interpretative tool for the simulation of Estelle descriptions," SEDOS Rep. 083, Nov. 1986.
[24] S. T. Vuong and A. Lau, "A semi-automatic approach to protocol implementation-The ISO class 2 transport protocol as an example," presented as INFOCOM '87, San Francisco, CA, Apr. 1987.
[25] S. Budkowski and P. Dembinski, "An introduction to Estelle: A specification language for distributed systems,"Comput. Networks ISDN Syst., vol. 14, pp. 3-23, 1987.

Index Terms:
protocols; Estelle-C compiler; specification; ISO; class-2 transparent protocol; modularity; program compilers; protocols
Citation:
S.T. Vuong, A.C. Lau, R.I. Chan, "Semiautomatic Implementation of Protocols Using an Estelle-C Compiler," IEEE Transactions on Software Engineering, vol. 14, no. 3, pp. 384-393, March 1988, doi:10.1109/32.4658
Usage of this product signifies your acceptance of the Terms of Use.