Deriving performance models of software architectures from message sequence charts

Proceedings Second International Workshop on Software and Performance WOSP 2000

Volumn , Issue , 2000, Pages 47-57

  Andolfi, F ^a   Aquilani, F ^a   Balsamo, S ^b   Inverardi, P ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

MSCs; Performance Evaluation; Performance indices; Queueing Network Model; Software Architecture

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; COMPUTER SOFTWARE; QUEUEING NETWORKS;

MESSAGE SEQUENCE CHARTS (MSC);

COMPUTER ARCHITECTURE;

EID: 0034592899     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/350391.350404     Document Type: Conference Paper

References (18)

1. Finite State Processes (FSP). on line at: http: wwwdse.doc.ic.ac.uk/jnm/book/ltsa/Appendix-A.html.
2. Rational Corporation. Uml Resource Center. UML documentation, version 1.3. on line at: http://www.rational.com/uml/index.jtmpl.
3. Rational Perfomance Architect. on line at: http://www.rational.com/uml/index.jtmpl.
4. Ieee proceedings of the first international workshop on software and performance. Wosp98, October 1998.
5. th 2000.
6. F. Aquilani, S. Balsamo, and P.Inverardi. An approach to performance evaluation of software architectures. Internal Report Universita' dell'Aquila, submitted for publication, Marzo 2000.
7. S. Balsamo. Properties and analysis of queueing network models with finite capacities. Performance Evaluation of Computer and Communication Systems (L.Donatiello and R. Nelson Eds.), (729):21-52, 1994.
8. S. Balsamo, P. Inverardi, and C. Mangano. Performance evaluation of software architectures. In ACM Proc. WOSP, 1998.
9. L. Bass, P. Clements, and R. Kazman. Analyzing development qualities at the architectural level. SEI Series in Software Engineering, 1998.
10. D. Compare, P. Inverardi, and A. L. Wolf. Uncovering architectural mismatch in component behavior. Science of Computer Programming, 33(2):101-131, 1999.
11. C. Hofmeister, R. Nord, and D. Soni. Applied Software Architecture. Addison-Wesley, October 1999.
12. P. Inverardi, L. Marcucci, and H. Muccini. Formal and semi-formal descriptions of a cross-connector software architecture. Technical Report Universita' dell'Aquila, April 2000.
13. ITU-TS. ITU-TS recommendation Z. 120. Message Sequence Charts. ITU-TS, Geneva, 1994.
14. I. Jacobson, G. Booch, and Rambaugh. The Unified Software Development Process. Addison Wesley publisher.
15. E. D. Lazowska, J. Zahorjan, G. S. Graham, and K. C. Sevcik. Quantitative System Performance: Computer System Analysis Using Queueing Network Models. Prentice-Hall, Englewood Cliffs, 1994.
16. J. Magee and J. Kramer. Concurrency: State Models and Java programs. Wiley Publisher, 1999.
17. T. Mannisto, T.Systa, and J.Tuomi. Sced report and user manual. Report A-1994-5, Department of Computer Science, University of Tampere, February 1994.
18. H. G. Perros. Queueing Network with Blocking: Exact and Approximate Solutions. Oxford University Press, 1994.