Efficient Automated Protocol Implementation Using RTAG
Diane Hernek and David P. Anderson
EECS Department, University of California, Berkeley
Technical Report No. UCB/CSD-89-526
, 1989
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1989/CSD-89-526.pdf
RTAG is a system for automated implementation of communication protocols from formal specifications. The RTAG specification language is based on attribute grammars, and allows complex protocols to be specified concisely and with minimal need for additional program code. This paper describes a set of techniques for efficient automated implementation of protocols from RTAG specifications, and compares the performance to that of hand-coded protocol implementations. We conclude that in many cases the performance of RTAG-based protocol implementation is acceptable for experimental or production uses.
BibTeX citation:
@techreport{Hernek:CSD-89-526, Author= {Hernek, Diane and Anderson, David P.}, Title= {Efficient Automated Protocol Implementation Using RTAG}, Year= {1989}, Month= {Aug}, Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1989/5268.html}, Number= {UCB/CSD-89-526}, Abstract= {RTAG is a system for automated implementation of communication protocols from formal specifications. The RTAG specification language is based on attribute grammars, and allows complex protocols to be specified concisely and with minimal need for additional program code. This paper describes a set of techniques for efficient automated implementation of protocols from RTAG specifications, and compares the performance to that of hand-coded protocol implementations. We conclude that in many cases the performance of RTAG-based protocol implementation is acceptable for experimental or production uses.}, }
EndNote citation:
%0 Report %A Hernek, Diane %A Anderson, David P. %T Efficient Automated Protocol Implementation Using RTAG %I EECS Department, University of California, Berkeley %D 1989 %@ UCB/CSD-89-526 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1989/5268.html %F Hernek:CSD-89-526