This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Automated Protocol Implementation with RTAG
March 1988 (vol. 14 no. 3)
pp. 291-300

The RTAG (real-time asynchronous grammars) programming language is discussed. The language is based on an attribute grammar notation for specifying protocols. Its main design goals are: (1) to support concise and easily understood expression of complex real-world protocols; and (2) to serve as the basis of a portable software system for automated protocol implementation. The algorithms used in generating implementations from given specifications are sketched, and a Unix-based automated implementation system for RTAG is described.

[1] D. P. Anderson, "A grammar-based methodology for protocol specification and implementation," Ph.D. dissertation, Univ. Wisconsin-Madison, WI, Aug. 1985.
[2] T. P. Blumer and R. L. Tenney, "A formal specification technique and Implementation method for protocols,"Comput. Networks, vol. 6, no. 3, pp. 201-217, July 1982.
[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] E. Brinksma, "A tutorial on LOTOS," inProc. 5th IFIP Symp. Protocol Spec. Test. Verif., June 1985.
[5] D. Clark, "Modularity and efficiency in protocol implementation,"RFC 817, SRI Network Information Center, 1983.
[6] A. Demers, T. Reps, and T. Teitelbaum, "Incremental evaluation for attribute grammars with applications to syntax-directed editors," inConf. Rec. 8th Annu. ACM Symp. Principles Programming Languages, Jan. 1981, pp. 415-418.
[7] G. Holtzmann, "The PANDORA system: An interactive system for the design of data communication protocols," Delft Univ. Technol., Rep. 39, Aug. 1982.
[8] S. C. Johnson, "Yacc: Yet another compiler-compiler,"Unix Programmer's Manual, vol. 2B, 1979.
[9] G. F. Johnson and C. N. Fischer, "A meta-language and system for nonlocal incremental attribute evaluation in language-based editors," inProc. 12th ACM Symp. Principles Program, Languages, pp. 141- 151, Jan. 1985.
[10] B. W. Kernighan and D. M. Ritchie,The C Programming Language. Englewood Cliffs, NJ: Prentice-Hall, 1978.
[11] D. E. Knuth, "Semantics of context free languages,"Math Syst. Theory J. 2, vol. 2, pp. 127-145, 1968.
[12] S. J. Leffler, W.N. Joy, and R. S. Fabry, "4.2BSD networking implementation notes," Univ. of California at Berkley, July 1983.
[13] M. E. Lesk and E. Schmidt, "Lex--a lexical analyzer generator,"Unix Programmer's Manual, vol. 2B, 1979.
[14] L. Logrippo, D. Simon, and H. Ural, "Esecutable description of the OSI transport service in prolog," inProtocol Specification, Testing and Verfication, IV, Y. Yemini, R. Strom, and S. Yemini, Eds. Amsterdam, The Netherlands: North-Holland, 1985, pp. 279-293.
[15] S. C. Nash, "Automated implementation of SNA communication protocols, "inProc. IEEE Int. Conf. Commun., pp. 1316-1322, June 1983.
[16] N. Nounou and Y. Yemini, "Development tools for communication protocols: An overview," inProc. IEEE Global Telecommun. Conf., Nov. 1984.
[17] T. F. Piatkowski, "Protocol engineering," inProc. IEEE Int. Conf. Commun., Boston, MA, June 1983.
[18] D. P. Sidhu, "Protocol verification via executable logic specifications,"IFIP Workshop Protocol Spec. Test. Verif., 1983.
[19] C. A. Sunshine, "Formal techniques for protocol specification and verification,"Computer, vol. 12, pp. 20-27, 1979.
[20] C. A. Vissers, R. L. Tenney, and G. Bochmann, "Formal description techniques,"Proc. IEEE 71, pp. 1356-1364, Dec. 1983.
[21] Y. Yemini and N. Nounou, "CUPID: a protocol development environment," inProc. 3rd IFIP Workshop Protocol Spec. Test. Verif., May 1983.
[22] "Specification of a transport protocol for computer communications, volume 3: Class 4 protocol," Nat. Bureau Stand., Rep. ICST/HLNP- 83-3, 1983.
[23] 4.2BSD UNIX Programmer's Manual, Comput. Syst. Res. Group, Dep. Elec. Eng. Comput. Sci., Univ. California, Berkeley, Aug. 1983.
[24] "Basic reference model for Open Systems Interconnection," International Standards Organization 7498, 1983.

Index Terms:
automated protocol implementation; RTAG; real-time asynchronous grammars; programming language; attribute grammar notation; portable software system; Unix-based automated implementation; grammars; protocols
Citation:
D.P. Anderson, "Automated Protocol Implementation with RTAG," IEEE Transactions on Software Engineering, vol. 14, no. 3, pp. 291-300, March 1988, doi:10.1109/32.4650
Usage of this product signifies your acceptance of the Terms of Use.