Semiautomatic implementation of protocols using an Estelle-C compiler

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,...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering 1988-03, Vol.14 (3), p.384-393
Main Authors: Vuong, S.T., Lau, A.C., Chan, R.I.
Format: Article
Language:English
Subjects:
Applied sciences
C language
Code standards
Communications
Compilers
Computer programming
Computer science
control theory
systems
Ethernet networks
Exact sciences and technology
Language
PASCAL
Protocol
R&D
Research & development
Research and development
Semantics
Software
Software engineering
Standards development
Sun
Testing
Trademarks
Transport protocols
Workstations
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.< >
ISSN:0098-5589
1939-3520
DOI:10.1109/32.4658