Performance by Unified Model Analysis (PUMA)

Proceedings of the Fifth International Workshop on Software and Performance, WOSP'05

Volumn , Issue , 2005, Pages 1-12

  Woodside, Murray ^a   Petriu, Dorina C ^a   Petriu, Dorin B ^a   Shen, Hui ^a   Israr, Toqeer ^a   Merseguer, Jose ^b  

^a CARLETON UNIVERSITY   (Canada)

^b UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Model building; Performance models; Scenarios; Software performance engineering; UML

Indexed keywords

ALGEBRA; COMMUNICATION SYSTEMS; INFORMATION RETRIEVAL; INTERFACES (COMPUTER); MARKOV PROCESSES; MATHEMATICAL MODELS; PETRI NETS; QUEUEING NETWORKS; SOFTWARE ENGINEERING;

CORE SCENARIO MODEL (CSM); MARKOV MODELS; PERFORMANCE ANALYSIS TOOLS; PERFORMANCE MODELS;

COMPUTER ARCHITECTURE;

EID: 33746082695     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1071021.1071022     Document Type: Conference Paper

References (22)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modelling with generalized stochastic Petri nets, John Wiley, 1995
2. S. Balsamo and M. Marzolla. "Simulation Modeling of UML Software Architectures", Proc. ESM'03, Nottingham (UK), June 2003
3. S. Bernardi, S. Donatelli, and J. Merseguer, "From UML sequence diagrams and statecharts to analysable Petri net models," in Proc. 3rd Int. Workshop on Software and Performance (WOSP02), Rome, July 2002, pp. 35-45.
4. C. Cavenet, S. Gilmore, J. Hillston, L. Kloul, and P. Stevens, "Analysing UML 2.0 activity diagrams in the software performance engineering process," in Proc. 4th Int. Workshop on Software and Performance (WOSP 2004), Redwood City, CA, Jan 2004, pp. 74-83.
5. V. Cortellessa and R. Mirandola, "Deriving a Queueing Network based Performance Model from UML Diagrams," in Proc. Second Int. Workshop on Software and Performance (WOSP2000), Ottawa, Canada, September 17-20, 2000, pp. 58-70.
6. S. Donatelli and G. Franceschinis, "PSR Methodology: integrating hardware and software models", Proc. 17th Int. Conf. on Application and Theory of Petri Nets (Osaka, Japan), LNCS vol. 1091, Springer, June 24-28 1996.
7. G. Franks, S. Majumdar, J. Neilson, D. Petriu, J. Rolia, and M. Woodside, Performance Analysis of Distributed Server Systems, Proc. Sixth International Conference on Software Quality (6ICSQ), Ottawa, Canada, 1996, pp. 15-26.
8. ISO/IEC 15909-1:2004 Software and system engineering - High-level Petri nets - Part I: Concepts, definitions and graphical notation, 2004.
9. R. Jain, The Art of Computer Systems Performance Analysis. John Wiley & Sons Inc., 1991
10. Ekkart Kindler High-level Petri Nets, Transfer Syntax, Proposal for the International Standard ISO/IEC 15909-2, Draft Version 0.3.0, April 21, 2004, at www.upb.de/cs/kindler/publications/copies/ISO-IEC-15909-2-Draft.0.3.0.pdf
11. J. P. Lo'pez-Grao, J. Merseguer, and J. Campos, "From UML Activity Diagrams To Stochastic Petri Nets" in Fourth Int. Workshop on Software and Performance (WOSP 2004), Redwood City, CA, Jan. 2004, pp. 25-36.
12. J. Merseguer, Software performance engineering based on UML and Petri nets, Ph.D. thesis, University of Zaragoza, Spain, March 2003.
13. Object Management Group, UML Profile for Schedulability, Performance, and Time Specification, OMG Adopted Specification ptc/02-03-02, July 1, 2002.
14. D.B. Petriu and M. Woodside, "Software Performance Models from System Scenarios in Use Case Maps", in Proc. 12th Int. Conf. on Modelling Tools and Techniques (TOOLS 2002), London, England, April 2002.
15. D. B. Petriu and M. Woodside, "A Metamodel for Generating Performance Models from UML Designs", in Proc UML 2004, v. 3273 of Lecture Notes in Computer Science (LNCS 3273), Lisbon, Oct 2004, pp. 41-53. An extended version is to appear in the Journal of Software and Systems in 2005.
16. D. C. Petriu and H. Shen, "Applying the UML Performance Profile: Graph Grammar-based derivation of LQN models from UML specifications," in Proc. 12th Int. Conf. on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, London, England, 2002.
17. D. C. Petriu and C. M. Woodside, "Performance Analysis with UML," in UML for Real, B. Selic, L. Lavagno, and G. Martin, Eds. Kluwer, 2003, pp. 221-240.
18. Smith, C.U. Performance Engineering of Software Systems. Addison-Wesley Publishing Co., New York, NY, 1990.
19. C. U. Smith and L. G. Williams, Performance Solutions. Addison-Wesley, 2002.
20. C.U. Smith, C.M. Lladó, "Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation", Proc QEST 2004 (First Int. Conf on Quantitative Evaluation of Systems), Enschede, Sept. 2004
21. J. Xu, M. Woodside, and D.C. Petriu, "Performance Analysis of a Software Design using the UML Profile for Schedulability, Performance and Time," in Proc. 13th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS 03), Urbana, USA, Sept. 2003.
22. The GreatSPN tool, http://www.di.unito.it/~greatspn