{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T00:40:03Z","timestamp":1736642403100,"version":"3.32.0"},"reference-count":26,"publisher":"Wiley","issue":"9","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":5903,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1990,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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\u2010coded protocol implementations. We conclude that in many cases the performance of RTAG\u2010based protocol implementations is acceptable for experimental or production uses.<\/jats:p>","DOI":"10.1002\/spe.4380200903","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T00:50:22Z","timestamp":1163811022000},"page":"869-885","source":"Crossref","is-referenced-by-count":0,"title":["Efficient automated protocol implementation using RTAG"],"prefix":"10.1002","volume":"20","author":[{"given":"Diane","family":"Hernek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David P.","family":"Anderson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"J.Postel \u2018Transmission control protocol\u2019 DARPA Internet RFC 793 September1981.","key":"e_1_2_1_2_2","DOI":"10.17487\/rfc0793"},{"unstructured":"Xerox Corporation \u2018Internet transport protocols\u2019 Xerox System Integration Standard 028112 December1981.","key":"e_1_2_1_3_2"},{"doi-asserted-by":"publisher","key":"e_1_2_1_4_2","DOI":"10.1145\/358468.358478"},{"doi-asserted-by":"crossref","unstructured":"D. R.CheritonandW.Zwaenepoel \u2018The distributed V kernel and its performance for diskless workstations\u2019 Proc. 9th ACM Symposium on Operating System Principles Bretton Woods New Hampshire 10\u201313 October1983 pp.128\u2013140.","key":"e_1_2_1_5_2","DOI":"10.1145\/800217.806621"},{"doi-asserted-by":"publisher","key":"e_1_2_1_6_2","DOI":"10.1145\/2080.357392"},{"doi-asserted-by":"publisher","key":"e_1_2_1_7_2","DOI":"10.1145\/989.357400"},{"doi-asserted-by":"crossref","unstructured":"K. P.BirmanandT. A.Joseph \u2018Exploiting virtual asychrony in distributed systems\u2019 Proc. 11th ACM Symposium on Operating System Principles Austin Texas 8\u201311 November1987 pp.123\u2013137.","key":"e_1_2_1_8_2","DOI":"10.1145\/41457.37515"},{"doi-asserted-by":"publisher","key":"e_1_2_1_9_2","DOI":"10.1109\/TSE.1986.6312966"},{"doi-asserted-by":"publisher","key":"e_1_2_1_10_2","DOI":"10.1145\/35037.35060"},{"volume-title":"RFC 817, SRI Network Information Center","year":"1982","author":"Clark D.","key":"e_1_2_1_11_2"},{"doi-asserted-by":"publisher","key":"e_1_2_1_12_2","DOI":"10.1109\/TCOM.1980.1094685"},{"unstructured":"N.NounouandY.Yemini \u2018Development tools for communication protocols: an overview\u2019 IEEE Global Telecommunications Conference November1984.","key":"e_1_2_1_13_2"},{"doi-asserted-by":"publisher","key":"e_1_2_1_14_2","DOI":"10.1109\/MC.1979.1658889"},{"doi-asserted-by":"publisher","key":"e_1_2_1_15_2","DOI":"10.1109\/TSE.1987.233521"},{"doi-asserted-by":"publisher","key":"e_1_2_1_16_2","DOI":"10.1109\/TCOM.1980.1094695"},{"issue":"3","key":"e_1_2_1_17_2","first-page":"201","article-title":"\u2018A formal specification technique and implementation method for protocols\u2019","volume":"6","author":"Blumer T. P.","year":"1982","journal-title":"Computer Networks"},{"unstructured":"E.Brinksma \u2018A tutorial on LOTOS\u2019 Proc. 5th IFIP Symposium on Protocol Specification Testing and Verification June1985.","key":"e_1_2_1_18_2"},{"volume-title":"SIGCOMM '86 Symposium","year":"1986","author":"Briand J. P.","key":"e_1_2_1_19_2"},{"doi-asserted-by":"publisher","key":"e_1_2_1_20_2","DOI":"10.1109\/32.4650"},{"doi-asserted-by":"crossref","unstructured":"D. P.Anderson \u2018A grammar\u2010based methodology for protocol specification and implementation\u2019 Ph.D. Thesis University of Wisconsin\u2010Madison August1985.","key":"e_1_2_1_21_2","DOI":"10.1145\/319056.319006"},{"volume-title":"The C Programming Language","year":"1978","author":"Kernighan B. W.","key":"e_1_2_1_22_2"},{"doi-asserted-by":"publisher","key":"e_1_2_1_23_2","DOI":"10.1145\/358818.358822"},{"doi-asserted-by":"publisher","key":"e_1_2_1_24_2","DOI":"10.1145\/358818.358824"},{"doi-asserted-by":"publisher","key":"e_1_2_1_25_2","DOI":"10.1109\/TSE.1987.232834"},{"unstructured":"D.Hernek \u2018Efficient automated protocol implementation using RTAG\u2019 Masters Report University of California at Berkeley September1988.","key":"e_1_2_1_26_2"},{"doi-asserted-by":"publisher","key":"e_1_2_1_27_2","DOI":"10.1145\/13677.13678"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380200903","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380200903","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T00:02:07Z","timestamp":1736640127000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380200903"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,9]]},"references-count":26,"journal-issue":{"issue":"9","published-print":{"date-parts":[[1990,9]]}},"alternative-id":["10.1002\/spe.4380200903"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380200903","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"type":"print","value":"0038-0644"},{"type":"electronic","value":"1097-024X"}],"subject":[],"published":{"date-parts":[[1990,9]]}}}