Performance evaluation at the software architecture level

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2804, Issue , 2003, Pages 207-258

  Balsamo, Simonetta ^a   Bernardo, Marco ^b   Simeoni, Marta ^a  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b UNIVERSITY OF URBINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; DESIGN; FORMAL METHODS; NETWORK ARCHITECTURE; PROGRAM COMPILERS; QUEUEING NETWORKS; RANDOM PROCESSES; SOFTWARE ARCHITECTURE; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

ARCHITECTURAL DESCRIPTION LANGUAGES; CONCURRENT ARCHITECTURE; PERFORMANCE INDICES; PERFORMANCE MODEL; PIPELINE ARCHITECTURE; SOFTWARE ARCHITECTURE DESIGN; SOFTWARE SYSTEMS; STOCHASTIC PROCESS ALGEBRAS;

COMPUTER ARCHITECTURE;

EID: 33745715454     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39800-4_10     Document Type: Review

References (52)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, "Modelling with Generalized Stochastic Petri Nets", John Wiley & Sons, 1995.
2. A. Aldini and M. Bernardo, "A General Deadlock Detection Approach for Software Architectures", to appear in Proc. of the 12th Int. Formal Methods Europe Symp. (FME 2003), LNCS, Pisa (Italy), 2003.
3. F. Aquilani, S. Balsamo, and P. Inverardi, "Performance Analysis at the Software Architectural Design Level", in Performance Evaluation 45:205-221, 2001.
4. F. Baccelli, W.A. Massey, and D. Towsley, "Acyclic Fork-Join Queueing Networks", in Journal of the ACM 22:248-260, 1989.
5. C. Baier, B. Haverkort, H. Hermanns, and J.-P. Katoen, "Automated Performance and Dependability Evaluation Using Model Checking", in Performance Evaluation of Complex Systems: Techniques and Tools, LNCS 2459:261-289, 2002.
6. S. Balsamo, "Product Form Queueing Networks", in Performance Evaluation: Origins and Directions, LNCS 1769:377-401, 2000.
7. S. Balsamo, M. Bernardo, and M. Simeoni, "Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis", in Proc. of the 3rd Int. Workshop on Software and Performance (WOSP 2002), ACM Press, pp. 190-202, Roma (Italy), 2002.
8. S. Balsamo, V. De Nitto Personè, and R. Onvural, "Analysis of Queueing Networks with Blocking", Kluwer, 2001.
9. S. Balsamo, L. Donatiello, and N. van Dijk, "Bounded Performance Analysis of Parallel Processing Systems", in IEEE Trans. on Parallel and Distributed Systems 9:1041-1056, 1998.
10. F. Baskett, K.M. Chandy, R.R. Muntz, and G. Palacios, "Open, Closed, and Mixed Networks of Queues with Different Classes of Customers", in Journal of the ACM 22:248-260, 1975.
11. H. Beilner, J. Mäter, and C. Wysocki, "The Hierarchical Evaluation Tool HIT", in Proc. of the 7th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS 1994), LNCS 794, Wien (Austria), 1994.
12. M. Bernardo, "TwoTowers 3.0: Enhancing Usability", to appear in Proc. of the 11th Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2003), IEEE-CS Press, Orlando (FL), October 2003 (http://www.sti.uniurb.it/bernardo/twotowers/).
13. M. Bernardo, "Symbolic Semantic Rules for Producing Compact STGLA from Value Passing Process Descriptions", to appear in ACM Trans. on Computational Logic, 2003.
14. M. Bernardo and M. Bravetti, "Performance Measure Sensitive Congruences for Markovian Process Algebras", in Theoretical Computer Science 290:117-160, 2003.
15. M. Bernardo, P. Ciancarini, and L. Donatiello, "Architecting Families of Software Systems with Process Algebras", in ACM Trans. on Software Engineering and Methodology 11:386-426, 2002.
16. M. Bernardo, L. Donatiello, and P. Ciancarini, "Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language", in Performance Evaluation of Complex Systems: Techniques and Tools, LNCS 2459:236-260, 2002.
17. M. Bernardo and F. Franzè, "Exogenous and Endogenous Extensions of Architectural Types", in Proc. of the 5th Int. Conf. on Coordination Models and Languages (COORDINATION 2002), LNCS 2315:40-55, York (UK), 2002.
18. M. Bernardo and F. Franzè, "Architectural Types Revisited: Extensible And/Or Connections", in Proc. of the 5th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2002), LNCS 2306:113-128, Grenoble (France), 2002.
19. J.P. Buzen, "Computational Algorithms for Closed Queueing Networks with Exponential Servers", in Comm. of the ACM 16:527-531, 1973.
20. K.M. Chandy and C.H. Sauer, "Computational Algorithms for Product Form Queueing Networks", in Comm. of the ACM 23:573-583, 1980.
21. W.-M. Chow, E.A. MacNair, and C.H. Sauer, "Analysis of Manufacturing Systems by the Research Queueing Package", in IBM Journal of Research and Development 29:330-342, 1985.
22. G. Clark, S. Gilmore, J. Hillston, and M. Ribaudo, "Exploiting Modal Logic to Express Performance Measures", in Proc. of the 11th Int. Conf. on Modeling Techniques and Tools for Computer Performance Evaluation (TOOLS 2000), LNCS 1786:247-261, Schaumburg (IL), 2000.
23. E.M. Clarke, O. Grumberg, and D.A. Peled, "Model Checking", MIT Press, 1999.
24. W.R. Cleaveland and O. Sokolsky, "Equivalence and Preorder Checking for Finite-State Systems", in Handbook of Process Algebra, Elsevier, pp. 391-424, 2001.
25. A.E. Conway and N.D. Georganas, "RECAL - A New Efficient Algorithm for the Exact Analysis of Multiple-Chain Closed Queueing Networks", Journal of the ACM 33:786-791, 1986.
26. R.G. Franks, A. Hubbard, S. Majumdar, J.E. Neilson, D.C. Petriu, J.A. Rolia, and C.M. Woodside, "A Toolset for Performance Engineering and Software Design of Client-Server Systems", in Performance Evaluation 24:117-135, 1995.
27. R.G. Franks and C.M. Woodside, "Performance of Multi-level Client-server Systems with Parallel Service Operations", in Proc. of the 1st Int. Workshop on Software and Performance (WOSP 1998), ACM Press, pp. 120-130, Santa Fe (NM), 1998.
28. E. Gelenbe, "Queueing Networks with Negative and Positive Customers", in Journal of Applied Probability 28:656-663, 1991.
29. N. Götz, U. Herzog, and M. Rettelbach, "Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras", in Proc. of the 16th Int. Symp. on Computer Performance Modelling, Measurement and Evaluation (PERFORMANCE 1993), LNCS 729:121-146, Roma (Italy), 1993.
30. H. Hermanns, "Interactive Markov Chains", LNCS 2428, 2002.
31. J. Hillston, "A Compositional Approach to Performance Modelling", Cambridge University Press, 1996.
32. R.A. Howard, "Dynamic Probabilistic Systems", John Wiley & Sons, 1971.
33. K. Kant, "Introduction to Computer System Performance Evaluation", McGraw-Hill, 1992.
34. L. Kleinrock, "Queueing Systems", Wiley, 1975.
35. S.S. Lavenberg, "Computer Performance Modeling Handbook", Academic Press, 1983.
36. S.S. Lavenberg and C.H. Sauer, "Approximate Analysis of Queueing Networks", in [35], pp. 173-221.
37. E.D. Lazowska, J. Zahorjan, G. Scott Graham, and K.C. Sevcik, "Quantitative System Performance: Computer System Analysis Using Queueing Network Models", Prentice Hall, 1984.
38. R. Milner, "Communication and Concurrency", Prentice Hall, 1989.
39. M.K. Molloy, "Performance Analysis using Stochastic Petri Nets", in IEEE Trans. on Computers 31:913-917, 1982.
40. R. Nelson and A. Tantawi, "Approximate Analysis of Fork-Join Synchronization in Parallel Queues", in IEEE Trans. on Computers 37:739-743, 1988.
41. M.F. Neuts, "Matrix-Geometric Solutions in Stochastic Models - An Algorithmic Approach", John Hopkins University Press, 1981.
42. H.G. Perros, "Queueing Networks with Blocking", Oxford University Press, 1994.
43. D.E. Perry and A.L. Wolf, "Foundations for the Study of Software Architecture", in ACM SIGSOFT Software Engineering Notes 17:40-52, 1992.
44. M. Reiser and S.S. Lavenberg, "Mean-Value Analysis of Closed Multichain Queueing Networks", in Journal of the ACM 27:313-322, 1980.
45. J.A. Rolia and K.C. Sevcik, "The Method of Layers", in IEEE Trans. on Software Engineering 21:682-688, 1995.
46. M. Shaw and D. Garlan, "Software Architecture: Perspectives on an Emerging Discipline", Prentice Hall, 1996.
47. C. Smith, "Performance Engineering of Software Systems", Addison-Wesley, 1990.
48. W.J. Stewart, "Introduction to the Numerical Solution of Markov Chains", Princeton University Press, 1994.
49. Simulog Corp., "The QNAP2 Reference Manual", 1989.
50. K.S. Trivedi, "Probability and Statistics with Reliability, Queueing, and Computer Science Applications", John Wiley & Sons, 2001.
51. P.D. Welch, "The Statistical Analysis of Simulation Results", in [35], pp. 267-329.
52. C.M. Woodside, J.E. Neilson, D.C. Petriu, and S. Majumdar, "The Stochastic Rendezvous Network Model for Performance of Synchronous Client-Server-like Distributed Software", in IEEE Trans. on Computers 44:20-34, 1995.