This Article 
 Bibliographic References 
 Add to: 
Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols
April 1991 (vol. 40 no. 4)
pp. 500-513

Combining formal description techniques (FDTs) with performance evaluation (PE) is a requirement known from the 'single-specification/multiple-techniques' approach associated with the protocol engineering vision. The approach presented here assumes that a formally defined open systems interconnection (OSI) communication protocol can be syntactically transformed to a form suitable to a performance evaluation tool, and afterwards enhanced by implementation-dependence information on the protocol's resource requirements. Such a module, describing functional and performance behavior of the protocol, can then be embedded in a framework which allows its performance evaluation. This framework comprises an OSI-service provider as a transportation medium, processors providing computing services, and means for communication with the adjacent upper layer by use of associated input and output buffers. The present approach uses concepts from the performance evaluation tool HIT. Its applicability to OSI-communication architectures is sketched by means of the PE-modeling language HI-SLANG and the FD-language SDL.

[1] H. Rudin, "Protocol engineering: A critical assessment," inProc. 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," inProc. 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," inProc. 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," inProc. 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," inProc. 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," inProc. 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," inProc. 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," inProc. 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," InProtocol Specification, Testing, and Verification, VII, H. Rudin and C. West, Eds., North-Holland, 1987, pp. 15-28
[16] F. Belina, D. Hogrefe, and S. Trigala, "Modelling OSI with SDL," inFormal 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, no. 4, pp. 311-341, Mar. 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," inModelling 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," inModelling Techniques and Tools for Performance Analysis, D. Potier, Ed., Amsterdam, The Netherlands: North-Holland, 1985.
[25] H. Beilner, J. Mäter, and N. Weissenberg, "Towards a performance modelling environment: News on HIT," inProc. 4th Int. Conf. Modelling Techniques and Tools for Computer Performance Evaluation, Palma, Spain, 1988, Plenum, 1989.
[26] S.S. Lavenberg,Computer Performance Modeling Handbook, Academic Press, New York, 1983.
[27] U. Krieger, B. Müller-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," inProc. 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," inProc. Int. Workshop Workload Characterization of Comput. Syst., Pavia, Italy, Oct. 1985.
[31] B. Müller-Clostermann, Ed., "HIT--An introduction,"Informatik IV, Universität Dortmund, Dortmund, Germany, 1989.
[32] E. Heck, Ed., "HITGRAPHIC user's guide,"Informatik IV, Universität Dortmund, Dortmund, Germany, 1990.
[33] N. Weissenberg, Ed., "HI-SLANG reference manual,"Informatik IV, Universität 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," inProc. Workshop Future Trends Distributed Comput. Syst. in the 1990s, Hong Kong, Sept. 1988, Conf. Proceedings, IEEE Computer Society Press, 1988.

Index Terms:
hierarchical performance evaluation; formally specified communication protocols; formal description techniques; single-specification/multiple-techniques; open systems interconnection; implementation-dependence information; transportation medium; adjacent upper layer; HIT; PE-modeling language HI-SLANG; FD-language SDL; formal specification; open systems; performance evaluation; protocols.
E. Heck, D. Hogrefe, B. Muller-Clostermann, "Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols," IEEE Transactions on Computers, vol. 40, no. 4, pp. 500-513, April 1991, doi:10.1109/12.88469
Usage of this product signifies your acceptance of the Terms of Use.