This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Archetype: A Unified Method for the Design and Implementation of Protocol Architectures
June 1988 (vol. 14 no. 6)
pp. 822-837

A method for the automated design, specification, and implementation of protocol architectures is introduced. A natural-language-like protocol architecture specification technique, called Archetype, is formulated. This technique aids the design by enabling an unambiguous specification of the protocol architecture on the level of the communications technologies used, without involvement in the complex implementation details of these technologies. The author defines a data-driven concurrent execution model and specifies the generation of executable specifications from abstract protocol architecture specifications. The exploitation of parallelism in the execution model enables the fulfilment of performance constraints placed on protocol architectures. An architecture based on a single X.25-level 3-like protocol is used as an illustrative example

[1] J. P. Ansartet al., "From formal description to automatic implementation using PDIL, " inProc. IFIP WC 6.1 Third Int. Workshop Protocol Specification, Testing, and Verification. Amsterdam, The Netherlands: North-Holland, 1984.
[2] J. M. Ayache and J. P. Courtiat, "LC/l, a specification and implementation language for protocols. " inProc. IFIP WC 6.1 Third Int. Workshop Protocol Specification, Testing. and Verification. Amsterdam, The Netherlands: North-Holland, 1984.
[3] G. V. Bochmann and C. A. Sunshine, "Formal methods in communication protocol design,"IEEE Trans. Commun., vol. COM-28, no. 4, pp. 624-631, Apr. 1980.
[4] G. von Bochmann and C. Sunshine, "A survey of formal methods,"Comput. Network Architecture and Protocols, P. Green Ed. New York: Plenum, 1982.
[5] D. Clark, "Protocol implementation: Practical considerations." inTutorial ACM SIGCOMM Symp. Communications Architectures and Protocols, Mar. 1983.
[6] B. L. Divitto, "A mechanical verification of the alternating bit protocol," Univ. Texas, Austin, Rep. ISCA-CMO-21, June 1981.
[7] B. T. Halipern, "Specifying and verifying protocols represented as abstract programs,"Computer Network Architecture and Protocols, P. Green, Ed. New York: Plenum, 1982.
[8] Reference Model of Open Systems Interconnection, ISO/TC/97/SG16/ WG6, 1981.
[9] A. Kratzer, "Task queues: A general model for the implementation of communications protocols, " inProc. Computer Networking Symp., Dec. 1983.
[10] H. Krumm and 0. Drobnik, "Interactive verification of communications software on the basis of CIL," inProc. ACM SIGCOMM Symp. Communications Architectures and Protocols, June 1984.
[11] B. Meandzija, "Towards the automatic generation of executable specifications for communications systems," inProc. IEEE Workshop Languages for Automation, Nov. 1984.
[12] B. Meandzija, "Dynamic protocol definitions," inProc. 4th Annu. Phoenix Conf. Computers and Communications, Mar. 1985.
[13] B. Meandzija, "Archetype: A unified method for the design and implementation of protocol architectures." Southern Methodist Univ.. Dallas. TX, Tech. Rep. 85CSE-17, Nov. 1985.
[14] B. Meandzija, "On the run-time specification of protocol architectures," inProc. IFIP WC 6.1 Sixth Int. Workshop Protocol Specification, Testing, and Verification, B. Sarikaya and G. von Bochmann. Eds. Amsterdam, The Netherlands: North-Holland, 1987.
[15] S. C. Nash, "Automated implementation of SNA communications protocols," inProc. IEEE Int. Conf. Communication, June 1983.
[16] S. Owicki and D. Gries, "Verifying properties of parallel programs: An axiomatic approach,"Commun. ACM, vol. 19, pp. 279-285, May 1976.
[17] C. V. Ramamoorthy, S. T. Dong, and Y. Usuda, "An implementation of an automated protocol synthesizer (APS) and its application to the X.21 protocol,"IEEE Trans. Software Eng., vol. SE-11, no. 9, pp. 886-908, Sept. 1985.
[18] H. Rudin and C. H. West, Eds.,Proc. IFIP WG 6.1 Third Int. Workshop Protocol Specification, Testing, and Verification. Amsterdam, The Netherlands: North-Holland, 1984.
[19] H. Rudin, "The ICC'83 communication protocols session: An overview," inProc. IEEE Int. Conf. Communications, June 1983.
[20] G. D. Schultzet al., "Executable description and vaIidation of SNA,"IEEE Trans. Commun., vol. COM-28, Apr. 1980.
[21] D. Sidhu, "Rules for synthesizing correct communications protocols,"ACM SIGCOMM Comput. Commun. Rev., vol. 12, Jan. 1982.
[22] R. E. Strom and S. Yemini, "Design, implementation, and validation of secure communications systems," inProc. IFIP W.G. 6.1 Third Int. Workshop Protocol Specification, Testing, and Verification. Amsterdam, The Netherlands: North-Holland, 1984.
[23] C. A. Sunshine, Ed.,Communication Protocol Modeling. Dedham, MA: Artech House, 1981.
[24] C. A. Sunshine, "Formal methods for communication protocol specification and verification," Rand Corp., Rep. N-1429, Nov. 1979.
[25] C. A. Sunshine, Ed., "Special issue on protocol specification, testing, and verification,"Comput. Networks, vol. 6, no. 6, Dec. 1982.
[26] C. A. Sunshine, "Experience with automated protocol verification," inProc. IEEE Int. Conf. Communications, June 1983.
[27] C. A. Visserset al., "Formal description techniques,"Proc. IEEE, Dec. 1983.
[28] Y. Yemini, N. Nounou, "CUPID: A protocol development environment," in Proc. IFIP W.G. 6.1 Third Int. Workshop Protocol Specification, Testing, and Verification. Amsterdam, The Netherlands: North-Holland, 1984.
[29] P. Zafiropouloet al., "Towards analysing and synthesizing protocols,"IEEE Trans. Commun., vol. COM-28, pp. 655-660, Apr. 1980.
[30] P. Zave, "A distributed alternative to finite-state-machine specifications,"ACM Trans. Programming Languages and Syst., vol. 7, no. 1, pp. 10-36, Jan. 1985.
[31] H. Zimmermann, "OSI reference model--The ISO model of architecture for Open Systems Interconnection,"IEEE Trans. Commun., vol. COM-28, no. 4, pp. 425-432, Apr. 1980.

Index Terms:
natural languages; protocol design; automatic programming; data structures; protocol architectures; automated design; specification technique; Archetype; data-driven concurrent execution model; abstract protocol architecture specifications; performance constraints; X.25-level 3-like protocol; automatic programming; data structures; multiprocessing programs; protocols; simulation languages
Citation:
B. Meandzija, "Archetype: A Unified Method for the Design and Implementation of Protocol Architectures," IEEE Transactions on Software Engineering, vol. 14, no. 6, pp. 822-837, June 1988, doi:10.1109/32.6161
Usage of this product signifies your acceptance of the Terms of Use.