Three performance models at work: A software designer perspective

Electronic Notes in Theoretical Computer Science

Volumn 97, Issue , 2004, Pages 219-239

  Cortellessa, Vittorio ^a   Di Marco, Antinisca ^a   Inverardi, Paola ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Automated Performance Validation; Generalized Stochastic Petri Nets; Queuing Networks; Software Architectures; Stochastic Process Algebras

Indexed keywords

ALGEBRA; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; PETRI NETS; QUEUEING NETWORKS; RANDOM PROCESSES;

AUTOMATED PERFORMANCE VALIDATION; GENERALIZED STOCHASTIC PETRI NETS; SOFTWARE ARCHITECTURES; STOCHASTIC PROCESS ALGEBRAS;

SOFTWARE ENGINEERING;

EID: 18944408344     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.04.038     Document Type: Conference Paper

References (25)

1. Ajmone M, Balbo G, Conte G. A class of Generalised Stochastic Petri Nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems. 2:1984;93-122
2. Ajmone M, Balbo G, Conte G. Performance Models of Multiprocessor Performance. 1986;The MIT Press
3. Aquilani F, Balsamo S, Inverardi P. Performance Analysis at the software architecture design level. Performance Evaluation. 45:(4):2001;205-221
4. S. Balsamo, A. Di Marco, P. Inverardi, M. Simeoni, "Software Performance: state of the art and perspectives", Technical Report, SAHARA project, submitted for pubblication (2002), URL: http://sahara.di.univaq.it/ tech.php
5. Bass L, Clements P, Kazman R. Software Architecture in Practice. SEI Series in Software Engineering. 1998;Addison-Wesley
6. Bause F, Klamann A. HiQPN User-s Guide. 1996;University of Dortmund
7. M. Bernardo, "Theory and Application of Extended Markovian Algebra", PhD. Thesis, University of Bologna, (1999)
8. Bosh J, Molin P. Software Architecture Design: Evaluation and Transformation. Proceedings of the 1999 IEEE Engineering of Computer Systems Symposium. 1999
9. Hermanns H, Mertsiotakis V, Rettelbach M. A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. LNCS. 1055:1996;427-430 Springer
10. Hillston J, Pooley R. Stochastic Process Algebras and their application to Performance Modelling. Proc. of TOOLS'98 tutorials. 1998
11. Hofmeister C, Nord R, Soni D. Applied Software Architecture. Object Tecnology Series. 1999;Addison-Wesley
12. Kant K. Introduction to Computer System Performance Evaluation. 1992;McGraw-Hill
13. U. Klehmet, V. Mertsiotakis, "TIPPtool: Timed Processes and Performability Evaluation - User's Guide", Technical Report 1/98, University of Erlangen (1998)
14. Lazowska E.D, Kahorjan J, Graham G.S, Sevcik K.C. Quantitative System Performance: Computer System Analysis Using Queueing Network Models. 1994;Prentice-Hall, Inc, Englewood Cliffs
15. Milner R. Communication and Concurrency. International Series on Conputer Science. 1989;Prentice Hall International
16. B. Paech, A.H. Dutoit, D. Kerkow, A. von Knethen. Functional requirements, non-functional requirements, and architecture should not be separated - A position paper, REFSQ2002, Essen, Germany, September 2002
17. D.B. Petriu, D. Amyot, M. Woodside. "Scenario-Based Performance Engineering with UCMNav", Technical Report, SCE-03-07, Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada (2003), URL: http://www.sce.carleton.ca/faculty/woodside
18. Reising W. Petri Nets: an introduction. EATCS Monographs on Theoretical Computer Science. vol. 4:1985
19. ACM Proceedings of Workshop on Software and Performance, WOSP'98, Santa Fe, New Mexico. 1998
20. ACM Proceedings of Workshop on Software and Performance, WOSP2000, Ottawa, Canada. 2000
21. ACM Proceedings of Workshop on Software and Performance, WOSP2002, Roma, Italy. 2002
22. Unified Modeling Language (UML), version 1.4. OMG Documentation. URL: http://www.omg.org/technology/documents/formal/uml.htm
23. Extensible Markup Language (XML) 1.0 (Second Edition). W3C Recommendation 6 October 2000. URL: http://www.w3.org/TR/2000/REC-xml-20001006
24. XML Schema Part 1: Structures. URL: http://www.w3.org/TR/2001/REC- xmlschema-1-20010502/
25. XML Schema Part 2: Datatypes. URL: http://www.w3.org/TR/2001/REC- xmlschema-2-20010502/. W3C Recommendation 2 May 2001