A review on queueing network models with finite capacity queues for software architectures performance prediction

Performance Evaluation

Volumn 51, Issue 2-4, 2003, Pages 269-288

  Balsamo, Simonetta ^a   De Nitto Personè, Vittoria ^b   Inverardi, Paola ^c  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b UNIVERSITY OF ROME TOR VERGATA   (Italy)

^c UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Blocking after service; Modelling; Queueing network; Software architectures

Indexed keywords

ALGORITHMS; COMMUNICATION SYSTEMS; CONSTRAINT THEORY; PERFORMANCE; SOFTWARE ENGINEERING; SYNCHRONIZATION;

SOFTWARE ARCHITECTURES (SA);

QUEUEING NETWORKS;

EID: 0037296877     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-5316(02)00099-8     Document Type: Conference Paper

References (56)

1. Akyildiz I.F. On the exact and approximate throughput analysis of closed queueing networks with blocking. IEEE Trans. Soft. Eng. 14:1988;62-71.
2. Akyildiz I.F. Mean value analysis of blocking queueing networks. IEEE Trans. Soft. Eng. 14:1988;418-429.
3. I.F. Akyildiz, H.G. Perros, Special issue on queueing networks with finite capacity queues, Perform. Eval. 10 (3) (1989).
4. Aquilani F., Balsamo S., Inverardi P. Performance analysis at the software architectural design level. Perform. Eval. 45:2001;147-178.
5. F. Andolfi, F. Aquilani, S. Balsamo, P. Inverardi, Deriving performance models of software architectures from message sequence charts, in: ACM Proceedings of the WOSP 2000, Second International Workshop on Software and Performance, Ottawa, Canada, September 17-20, 2000.
6. I.U. Awan, D.D. Kouvatsos, Approximate analysis of QNMs with space and service priorities, in: D.D. Kouvatsos (Ed.), Performance Analysis of ATM Networks, Kluwer Academic Publishers, IFIP Publication, Dordrecht, Chapter 25, 1999, pp. 497-521.
7. S. Balsamo, Properties and analysis of queueing network models with finite capacities, in: Performance Evaluation of Computer and Communication Systems, Lecture Notes in Computer Science, Vol. 729, Springer, Berlin, 1994, pp. 21-52.
8. S. Balsamo, V. De Nitto Personè, R. Onvural, Analysis of Queueuing Networks with Blocking, Kluwer Academic Publishers, Dordrecht, 2001.
9. S. Balsamo, A. Rainero, Closed queueing networks with finite capacity queues: approximate analysis, in: Proceedings of the ESM 2000, SCS European Simulation Multiconference, Ghent, Belgium, May 22-26, 2000.
10. Balsamo S., Clò C. A convolution algorithm for product form queueing networks with blocking. Ann. Oper. Res. 79:1998;97-117.
11. Balsamo S., De Nitto Personè V. A survey of product-form queueing networks with blocking and their equivalences. Ann. Oper. Res. 48:1994;31-61.
12. S. Balsamo, P. Inverardi, C. Mangano, F. Russo, Performance evaluation of software architectures: a case study, in IEEE Proceedings of the 11th International Workshop on Software Specification and Design, Japan, 1998.
13. L. Bass, P. Clements, R. Kazman, Analyzing Development Qualities at the Architectural Level. Software Architecture in Practice, SEI Series in Software Engineering, Addison-Wesley, Reading, MA, 1998.
14. J. Bosh, Design and Use of Software Architecture, Addison-Wesley, Reading, MA, 2000.
15. Brandwajn A., Jow Y.L. An approximation method for tandem queueing systems with blocking. Oper. Res. 1:1988;73-83.
16. Compare D., Inverardi P., Wolf A.L. Uncovering architectural mismatch in component behavior. Sci. Comput. Program. 33(2):1999;101-131.
17. Dallery Y., Frein Y. On decomposition methods for tandem queueing networks with blocking. Oper. Res. 14:1993;386-399.
18. Dallery Y., Gershwin S.B. Manufacturing flow line systems: a review of models and analytical results. Queueing Syst. 12:1992;3-94.
19. H. Gomaa, D.A. Menascé, Design and performance modeling of component interconnection patterns for distributed software architectures, in: Proceedings of the WOSP 2000, ACM Second International Workshop on Software and Performance, Ottawa, Canada, September 17-20, 2000.
20. Hillier F.S., Boling R.W. Finite queues in series with exponential or Erlang service times - a numerical approach. Oper. Res. 15:1967;286-303.
21. C. Hofmeister, R.L. Nord, D. Soni, Describing software architecture with UML, in: Proceedings of the First Working IFIP Conference on Software Architecture (WICSA1), San Antonio, Texas, Berlin, Germany, February 22-24, 1999, pp. 145-159.
22. C. Hofmeister, R.L. Nord, D. Soni, Applied Software Architecture, Addison-Wesley, Reading, MA, 1999.
23. Inverardi P., Wolf A.L. Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Trans. Soft. Eng. 21(4):1995;373-386.
24. ITU-TS Recommendation Z.120, Message Sequence Charts, ITU-TS, Geneva, 1994.
25. K. Kant, Introduction to Computer System Performance Evaluation, McGraw-Hill, New York, 1992.
26. R. Kazman, M. Klein, P. Clements, ATAM: Method for Architecture Evaluation, SEI Carnegie Mellon University, August 2000.
27. L. Kleinrock, Queueing Systems, Wiley, New York, 1976.
28. D.D. Kouvatsos, I.U. Awan, MEM for arbitrary closed queueing networks with R-S blocking and multiple job classes, Omn. of Oper. Res., Special Issue on Queueing Networks with Blocking, 79 (1998) 231-269.
29. Kouvatsos D.D., Xenios N.P. MEM for arbitrary queueing networks with multiple general servers and repetitive-service blocking. Perform. Eval. 10:1989;106-195.
30. S.S. Lavenberg, Computer Performance Modeling Handbook, Prentice-Hall, Englewood Cliffs, NJ, 1983.
31. C. Lladò, P. Harrison, A new blocking problem from Java-based schedulers, in: Proceedings of the QNET 2000, Fourth International Workshop on Queueing Networks with Finite Capacity, Ilkley, UK, July 20-21, 2001.
32. C. Lladò, P. Harrison, Performance evaluation of an enterprise Javabean server implementation, in: Proceedings of the WOSP 2000, ACM Second International Workshop on Software and Performance, Ottawa, Canada, September 17-20, 2000.
33. E.D. Lazowska, J. Zahorjan, G. Scott Graham, K.C. Sevcik, Quantitative System Performance: Computer System Analysis Using Queueing Network Models, Prentice-Hall, Englewood Cliffs, NJ, 1984.
34. H.S. Lee, A. Bouhchouch, Y. Dallery, Y. Frein, Performance evaluation of open queueing networks with arbitrary configurations and finite buffers, in: Proceedings of the Third International Workshop on Queueing Networks with Finite Capacity, Bradford, UK, July 6-7, 1995.
35. Onvural R.O. Survey of closed queueing networks with blocking. ACM Comput. Surv. 22(2):1990;83-121.
36. R.O. Onvural, Special Issue on Queueing Networks with Finite Capacity, Perform. Eval. 17 (3) (1993).
37. G. Iazeolla, Special Issue on Performance Validation of Software Systems, Perform. Eval. 45 (2001).
38. Perry D.E., Wolf A.L. Foundations for the study of software architecture. ACM SigSoft Soft. Eng. Notes. 17(4):1992;40-52.
39. H.G. Perros, Open queueing networks with blocking, in: H. Takagi (Ed.), Stochastic Analysis of Computer and Communications Systems, North-Holland, Amsterdam, 1989.
40. H.G. Perros, Queueing Networks with Blocking, Oxford University Press, Oxford, 1994.
41. Perros H.G., Altiok T. Approximate analysis of open networks of queues with blocking: tandem configurations. IEEE Trans. Soft. Eng. 12:1986;450-461.
42. Ramesh S., Perros H. A multilayer client-server queueing network model with synchronous and asynchronous messages. IEEE Trans. Soft. Eng. 26(11):2000;1086-1100.
43. Rolia J.A., Sevcik K.C. The method of layers. IEEE Trans. Soft. Eng. 21:1995;689-700.
44. Sereno M. Mean value analysis (MVA) of product form solution queueing networks with repetitive service blocking. Perform. Eval. 36-37:1999;19-33.
45. C.U. Smith, Performance Engineering of Software Systems, Addison-Wesley, Reading, MA, 1990.
46. Smith C.U., Williams L.G. Software performance engineering: a case study including performance comparison with design alternatives. IEEE Trans. Soft. Eng. 19(7):1993;720-741.
47. M. Shaw, D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, Englewood Cliffs, NJ, 1996.
48. R. Suri, R. Desiraju, Performance analysis of flexible manufacturing systems with a single discrete material-handling device, Int. J. Flex. Manuf. System 9 (1997) 223-249.
49. van Dijk N. On 'stop=repeat' servicing for non-exponential queueing networks with blocking J. Appl. Prob. 28:1991;159-173.
50. van Dijk N. 'Stop=recirculate' for exponential product form queueing networks with departure blocking Oper. Res. Lett. 10:1991;343-351.
51. Woodside M. Throughput calculation for basic stochastic randevouz networks. Perform. Eval. 9:1989;143-160.
52. Woodside M., Neilson J.E., Petriu D.C., Majumdar S. Stochastic randevouz network model for performance of synchronous client-server-like distributed software. IEEE Trans. Comput. 44:1995;20-34.
53. Proceedings of the ACM First International Workshop on Software and Performance, WOSP'98, Santa Fe, New Mexico, USA, October 12-16, 1998.
54. Proceedings of the ACM Second International Workshop on Software and Performance, WOSP 2000, Ottawa, Canada, September 17-20, 2000.
55. Proceedings of the ACM Third International Workshop on Software and Performance, WOSP 2002, Rome, Italy, July 24-26, 2002.
56. P. Inverardi, The Saladin Project: Summary report, ACM SigSoft SEN Software Electronic Notes, July 2002.