Semiautomatic implementation of protocols using an Estelle-C compiler

Author

Vuong, Son T. ; Lau, Allen C. ; Chan, Isaac

Author_Institution

Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada

Volume

14

Issue

3

fYear

1988

fDate

3/1/1988 12:00:00 AM

Firstpage

384

Lastpage

393

Abstract

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

Keywords

program compilers; protocols; Estelle-C compiler; ISO; class-2 transparent protocol; modularity; protocols; specification; Code standards; Ethernet networks; Helium; Research and development; Standards development; Sun; Testing; Trademarks; Transport protocols; Workstations;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.4658

Filename

4658