Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols

IEEE Transactions on Computers

Volumn 40, Issue 4, 1991, Pages 500-513

  Heck, Elke ^a   Hogrefe, Dieter ^a   Müller Clostermann, Bruno ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF BERN   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION PROTOCOLS; FORMAL SPECIFICATIONS; HIERARCHICAL PERFORMANCE EVALUATION; OPEN SYSTEMS INTERCONNECTION; PROTOCOL PERFORMANCE;

COMPUTER NETWORKS;

EID: 0026140291     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/12.88469     Document Type: Article

References (34)

1. H. Rudin, “Protocol engineering: A critical assessment,” in Proc. 8th Int. Workshop Protocol Specification, Testing, Verification, S. Aggarwal and K. Sabnani, Eds., Atlantic City, NJ, June 1988, North-Holland, 1988.
2. A. E. Conway, “Performance modelling of multi-layered OSI communication architectures,” Proc. Int. Conf. Commun., 1989.
3. H. Rudin, “Tools for protocols driven by formal specifications,” IBM Res. Rep. RZ 1525, Zurich, Switzerland, Sept. 1986.
4. J. Gustafsson and H. Rudin, “Including a queue in a formal-description-driven protocol performance analysis,” in Proc. 9th Int. Workshop Protocol Specification, Testing, Verification, E. Brinksma, G. Scollo, and C. A. Vissers, Eds., Enschede, The Netherlands, North-Holland, June 1989.
5. H. Rudin, “From formal protocol specification towards automated performance prediction,” in Proc. 3rd Workshop Protocol Specification, Testing, Verification, Ruschlikon, Switzerland, May 1983, North-Holland, 1983, pp. 257–269.
6. D. D. Dimitrijevic and M. S. Chen, “An integrated algorithm for probabilistic protocol verification and evaluation,” IBM Res. Rep. RC13901, Zurich, Switzerland, Aug. 1988.
7. F. Bause and P. Buchholz, “Protocol analysis using a timed version of SDL,” in Proc. 3rd Int. Conf. Formal Description Techniques (FORTE '90), Madrid, Spain, Nov. 1990, North-Holland, 1991.
8. G. v. Bochmann and J. Vaucher, “Adding performance aspects to specification languages,” in Proc. 8th Int. Workshop Protocol Specification, Testing, Verification, S. Aggarwal and K. Sabnani Eds., Atlantic City, NJ, June 1988, North-Holland 1988, pp. 19–31.
9. P. Kritzinger, “A performance model of the OSI communication architecture,” IEEE Trans. Commun., vol. 34, no. 6, pp. 554–563, June 1986. Also published as IBM Res. Rep. RZ 1346, Zurich, Switzerland, 1984.
10. P. Kritzinger and G. Wheeler, “A protocol engineering workstation,” in Proc. 2nd Int. Conf. Formal Description Techniques (FORTE '89), North-Holland, 1990.
11. M. A. Marsan, G. Balbo, G. Chiola, and G. Conte, “A software tool for the automatic analysis of generalized stochastic Petri net models,” in Proc. Int. Conf. Modelling Techniques Tools for Performance Analysis, Paris, France, North-Holland, 1984.
12. G. Chiola, GreatSPN USERS' MANUAL, Ver. 1.3, Univ. of Torino, Torino, Italy, Sept. 1987.
13. N. Barghouti, N. Nounou, and Y. Yemini, “An integrated protocol development environment,” in Proc. 6th Int. Workshop Protocol Specification, Testing, Verification, B. Sarikaya and G. v. Bochmann, Eds., Montreal, P.Q., Canada, 1986, North-Holland, 1987.
14. Basic Reference Model for Open Systems Interconnection, International Standard, ISO/IS 7498, 1984.
15. K. Turner, “An architectural semantics for LOTOS,” in Proc. 7th Int. Workshop Protocol Specification, Testing, Verification, H. Rudin and C. H. West, Eds., Zurich, Switzerland, 1987, North-Holland, 1987.
16. F. Belina, D. Hogrefe, and S. Trigala, “Modelling OSI with SDL,” in Formal Description Techniques, K. Turner, Ed. Amsterdam, The Netherlands: North-Holland, 1988.
17. Guidelines for the Application of FDTs to OSI, ISO PDTR 10 167
18. G. v. Bochmann, “Protocol specification for OSI,” Computer Networks ISDN Syst., vol. 18, pp. 167–184, 1989/1990.
19. D. Hogrefe, “SDL and OSI: On the use of CCITT-SDL in the context of OSI,” Postdoctoral thesis, Universitat Hamburg, 1989
20. F. Belina and D. Hogrefe, “The CCITT-specification and description language SDL,” Comput. Networks ISDN Syst., vol. 16, pp. 311–341, 1988/1989.
21. F. Belina, D. Hogrefe, and A. Sarma, SDL with Applications from Protocol Specification. Englewood Cliffs, NJ: Prentice-Hall, 1990.
22. CCITT, Specification and Description Language SDL, Recommendation Z.100, COM X-R15-E, Geneva, Switzerland, Mar. 1988
23. C. H. Sauer and E. A. MacNair, “The evolution of the research queueing package,” in Modelling Techniques and Tools for Performance Analysis, D. Potier, Ed., North-Holland, 1985.
24. M. Veran and D. Portier, “QNAP2: A portable environment for queueing systems modelling,” in Modelling Techniques and Tools for Performance Analysis, D. Potier, Ed., Amsterdam, The Netherlands: North-Holland, 1985.
25. H. Beilner, J. Mater, and N. Weissenberg, “Towards a performance modelling environment: News on HIT,” in Proc. 4th Int. Conf Modelling Techniques and Tools for Computer Performance Evaluation, Palma, Spain, 1988, Plenum, 1989.
26. S. S. Lavenberg, Computer Performance Modeling Handbook. New York: Academic, 1983.
27. U. Krieger, B. Muller-Clostermann, and M. Sczittnick, “Modelling and analysis of communication systems based on computational methods for Markov chains,” IEEE Trans. Commun., Special Issue on Modeling and Analysis of Telecommunication Systems, vol. 39, 1991.
28. H. Beilner, “Structured modelling—Heterogeneous modelling,” in Proc. Euro. Simulation Multiconf, Rome, Italy, June 1989.
29. C. H. Sauer and K. M. Chandy, Computer Systems Performance Modelling. Englewood Cliffs, NJ: Prentice-Hall, 1981.
30. H. Beilner, “Workload characterization and performance modelling tools,” in Proc. Int. Workshop Workload Characterization of Comput. Syst., Pavia, Italy, Oct. 1985.
31. B. Muller-Clostermann, Ed., “HIT—An introduction,” Informatik IV, Universitat Dortmund, Dortmund, 1989.
32. E. Heck, Ed., “HITGRAPHIC user’s guide,” Informatik IV, Universitat Dortmund, Dortmund, Germany, 1990.
33. N. Weissenberg, Ed., “HI-SLANG reference manual,” Informatik IV, Universitat Dortmund, Dortmund, Germany, 1990.
34. E. Heck and R. Lange, “An aggregated model of CSMA/CD as an example for runtime reduction in LAN-simulation,” in Proc. Workshop Future Trends Distributed Comput. Syst. in the 1990s, Hong Kong, Sept. 1988, Conf. Proceedings, IEEE Computer Society Press, 1988.