This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Development Life Cycle of Computer Networks: The Executable Model Approach
September 1989 (vol. 15 no. 9)
pp. 1078-1089

An approach is proposed for extending the use of design models to the implementation and operational phases of the network development life cycle. A conceptual approach is offered for using executable models in the day-to-day operation of computer networks. Several strategies are given for integrating models into different development tasks. It is shown why these strategies are feasible. Characteristics of executable models that differ from those of traditional models are identified along with new technologies that reduce the cost of implementing and using executable models.

[1] S. C. Agrawal,Metamodeling: A Study of Approximation in Queueing Models. Cambridge, MA: MIT Press, 1985.
[2] A. Amhad and R. D. Hurrion, "Automatic model generation using Prolog," inAI and Simulation (Multiconf.), SCS, Feb. 1988.
[3] A. Avizienis, "TheN-version approach to fault-tolerant software,"IEEE Trans. Software Eng., vol. SE-11, pp. 1491-1501, Dec. 1985.
[4] R. Bagrodia, K. M. Chandy, and J. Misra, "A message-based approach to discrete-event simulation,"IEEE Trans. Software Eng., vol. SE-13, pp. 654-665, June 1987.
[5] D. R. Barstow, "Domain-specific automatic programming,"IEEE Trans. Software Eng., vol. 11, no. 11, pp. 1321-1336, Nov. 1985.
[6] S. L. Bernstein and J. G. Herman, "NU: A network monitoring, control, and management system," inProc. Int. Conf. Communications, IEEE, June 1983, pp. 478-482.
[7] A. H. Bond and B. Soetarman, "Multiple abstractions in knowledge-based simulation," inArtificial Intelligence and Simulation (Multiconf.), SCS, Feb. 1988, pp. 257-262.
[8] CACI Inc.,Network 11.5, commercial product, 1983-present.
[9] K. Chandy and D. Neuse, "Linearizer: A heuristic algorithm for queueing network models of computing systems,"Commun. ACM, vol. 25, no. 2, pp. 126-134, 1982.
[10] A. I. Concepcion and B. P. Zeigler, "DEVS formalism: A framework for hierarchical model development,"IEEE Trans. Software Eng., vol. 14, pp. 228-241, Feb. 1988.
[11] R. A. DeMillo, R. J. Lipton, and A. J. Perlis, "Social processes and proofs of theorems and programs,"Commun. ACM, vol. 22, no. 5, pp. 271-280, 1979.
[12] E. Elsam and J. Mayersohn, "Using AI to plan the defense data network,"Defense Electron., pp. 175-184, June 1985.
[13] W. R. Franta, H. K. Berg, and W. T. Wood, "Issues and approaches to distributed testbeds instrumentation,"Computer, pp. 71-80, Oct. 1982.
[14] E. F. Gehringer, A. K. Jones, and Z. Z. Segall, "The CM*testbed,"Computer, pp. 40-53, Oct. 1982.
[15] D. Gries,The Science of Programming. New York: Springer-Verlag, 1981.
[16] J. Hollanet al."STEAMER: An interactive inspectable simulation-based training system,"AI Mag., Summer 1984.
[17] Information Research Associates,PAWS, commercial product, 1986 present.
[18] D. Jefferson, "Virtual Time,"ACM Trans. Programming Languages, Vol. 7, No. 3, July 1985, pp. 404-425.
[19] L. Kleinrock,Queueing Systems Volume 1: Theory. New York: Wiley, 1975.
[20] E. MacNair, "An Introduction to the Research Queueing Package,"Proc. 1985 Winter Simulation Conf., Dec. 1985, pp. 257-262.
[21] B. Melamed, "The performance analysis workstation: An interactive animated simulation package for queueing networks," inProc. Fall Joint Computer Conf., IEEE, Dallas, TX, Nov. 1986, pp. 729-740.
[22] M. Livny,DeNet User's Guide, Dep. Comput. Sci., Univ. Wisconsin--Madison, 1987 present.
[23] K. J. Murray and S. V. Sheppard, "Automatic model synthesis: Using automatic programming and expert systems techniques toward simulation modeling," inWinter Simulation Conf., SCS, 1987, pp. 534- 543.
[24] M. Reiser and S. Lavenberg, "Mean value analysis of closed multichain queueing networks,"J. ACM, vol. 27, no. 2, Apr. 1980.
[25] W. Roesner, "A mixed level and distributed simulation system for digital logic design," inMulticonf. (Simulation Tools), SCS, Jan. 1987, pp. 51-56.
[26] Z. Segallet al., "Real time status monitoring for distributed systems," Carnegie-Mellon Univ., Tech. Rep. CMU-CS-83-152, 1983.
[27] W. Whitt, "Performance of the queueing network analyzer,"Bell Syst. Tech. J., vol. 62, no. 9, pp. 2817-2843, Nov. 1983.
[28] P. Zave, "The operational versus the conventional approach to software development,"Commun. ACM, vol. 27, no. 2, pp. 104-118, Feb. 1984.
[29] J. A. Zinky, "An example of automatically troubleshooting a throughput bottleneck using model based techniques," inProc. ICC 89 Conf., June 1989, pp. 1448-1453.
[30] J. A. Zinky, "The executable model approach: Synergistic strategies for maintaining the correctness and efficiency of computer networks," Ph.D. dissertation, Boston Univ., 1989.
[31] J. A. Zinky and J. Etkin, "Troubleshooting computer network performance using executable models," submitted toNetworks and ISDN, Aug. 1988.
[32] J. A. Zinky and J. Fléchon, "An automated network troubleshooter for throughput bottlenecks in computer networks," presented at theAI in Government Systems Conf., Mar. 1989.

Index Terms:
computer networks; design models; network development life cycle; executable models; day-to-day operation; development tasks; computer networks; digital simulation; software engineeringa
Citation:
J. Etkin, J.A. Zinky, "Development Life Cycle of Computer Networks: The Executable Model Approach," IEEE Transactions on Software Engineering, vol. 15, no. 9, pp. 1078-1089, Sept. 1989, doi:10.1109/32.31366
Usage of this product signifies your acceptance of the Terms of Use.