An approach to performance evaluation of software architectures

Proceedings of the 1st International Workshop on Software and Performance, WOSP 1998

Volumn , Issue , 1998, Pages 178-190

  Balsamo, Simonetta ^a   Inverardi, Paola ^b   Mangano, Calogero ^c  

^a UNIVERSITY OF UDINE   (Italy)

^b UNIVERSITY OF L'AQUILA   (Italy)

^c UNIVERSITY OF PISA   (Italy)

Author keywords

CHAM; Performance evaluation; Performance indices; Queueing network model; Software architecture

Indexed keywords

NETWORK ARCHITECTURE; QUEUEING NETWORKS;

ABSTRACT MACHINES; CHAM; COMPETING MODELS; DEVELOPMENT PROCESS; HIGH LEVEL OF ABSTRACTION; PERFORMANCE EVALUATION; PERFORMANCE INDICES; QUEUEING NETWORK MODEL;

SOFTWARE ARCHITECTURE;

EID: 84994770856     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/287318.287353     Document Type: Conference Paper

References (16)

1. G. Balbo, G. Conte and M. A. Marsan. Performance Models of Multiprocessor Systems. Series in Computer Systems, The MIT Press, (1986).
2. S. Balsamo. Properties and Analysis of Queueing Network Models with Finite Capacities. LNCS (Springer-Verlag), No. 729, (1994).
3. M. Bernardo and R. Gorrieri. Extend Markovian Process Algebra. In Proc. CONCUR '96, 315-330, LNCS 1119.
4. G. Bockle, H. Hellwagner, R. Lepold, G. Sandweg, B. Schallenberger, R. Thudt, S. Wallstab. Structured Evaluation of Computer System. IEEE Computer Society, 45-51, June 1996.
5. D. Compare, P. lnverardi and A. L. Wolf. Uncovering Architectural Mismatch in Dynamic Behavior. Technical Report CU-CS-828-97, Department of Computer Science, University of Colorado, Boulder, Colorado, February 1997, to appear in Science of Computer Programming , Juanuary 1999.
6. P. lnverardi and A. L. Wolf. Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model . IEEE Transactions on Software Engineering, Vol. 21, No. 4, 373-386, April 1995.
7. K. Kant. Introduction to Computer System Performance Evaluation. McGraw-Hill, 1992.
8. L. Kleinrock. Queueing Systems. Vol. 1: Theory. (Wiley 1975).
9. 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, (1984).
10. E. D. Lazowska, J. Zahorjan and M. Vernon. A Comparison of Performance Petri Nets and Queueing Network Models. Modelling Techniques and Performance Evaluation, edit by S. Fdida and G. Pujolle, Elsevier Science Publishers B.V. (North-Holland), 191-202, (1987).
11. C. Mangano. Valutazione delle Prestazioni di Architetture Software. Laurea Thesis in Computer Science, University of Pisa, April 1997.
12. R. O. Onvural. Survey of Closed Queueing Networks with Blocking. ACM Computing Surveys, Vol. 22, No. 2, 83-121, June 1990.
13. D. E. Perry e A. L. Wolf. Foundations for the Study of Software Architecture. ACM SigSoft Software Engineering Notes, Vol. 17, No. 4, 40-52, October 1992.
14. M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prent. Hall, (1996).
15. C. U. Smith. Performance Engineering of Software Systems. Addison-Wesley Publishing Company, (1990).
16. C. U. Smith and L. G. Williams. Software Performance Engineering: A Case Study Including Performance Comparison with Design Alternatives. IEEE Tran. on Software Engineering, Vol 19, No. 7, 720-741, July 1993.