Experimenting different software architectures performance techniques: A case study

Proceedings of the Fourth International Workshop on Software and Performance, WOSP'04

Volumn , Issue , 2004, Pages 115-119

  Balsamo, Simonetta ^a   Marzolla, Moreno ^a   Di Marco, Antinisca ^b   Inverardi, Paola ^b  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Performance Modeling; Process Algebra; Simulation

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTER SIMULATION; COMPUTER SOFTWARE; COMPUTER WORKSTATIONS; FEEDBACK; FREQUENCY MODULATION; PARAMETER ESTIMATION; RANDOM PROCESSES;

COMMUNICATION TRANSFER SYSTEMS (CTS); CONFIGURATION; PERFORMANCE MODELING; PROCESS ALGEBRA;

COMPUTER ARCHITECTURE;

EID: 3543104941     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. S. Balsamo and M. Marzolla. A simulation-based approach to software performance modeling. Tech. Rep. TR SAH/44, MIUR Sahara Project, Mar. 2003.
2. S. Balsamo and M. Marzolla. Simulation modeling of UML software architectures. In D. Al-Dabass, editor, Proc. of ESM'03, the 17th European Simulation Multiconference, pages 562-567, Nottingham, UK, June 2003. SCS-European Publishing House.
3. J. Banks, editor. Handbook of Simulation. Wiley-Interscience, 1998.
4. J. Banks, J. S. Carson, B. L. Nelson, and D. M. Nicol. Discrete-Event System Simulation. Prentice Hall, 3rd edition, 2000.
5. M. Bernardo. Twotowers 3.0: Enhancing usability. In Proc. of MASCOT 2003, pages 188-193, Orlando (FL), 2003. IEEE-CS Press.
6. M. Bernardo and M. Bravetti. Performance measurement sensitive congruences for markovian process algebras. Theoretical Computer Science, 290:117-160, 2003.
7. M. Bernardo, L. Donatiello, and P. Ciancarini. Stochastic process algebra: From an algebraic formalism to an architectural description language. Performance Evaluation of Complex Systems: Techniques and Tools, LNCS 2459:236-260, 2002.
8. D. Compare, P. Inverardi, P. Pelliccione, and A. Sebastiani. Integrating model-checking architectural analysis and validation in a real software life-cycle. In Proc. of FME 2003: Formal Methods, LNCS 2805, pages 114-132, Pisa, Italy, 2003.
9. D. Compare, A. D. Marco, A. D'Onofrio, and P. Inverardi. Our experience in the integration of process algebra based performance validation in an industrial context. Tech. Rep. TR SAH/047, MIUR Sahara Project, Oct. 2003.
10. A. M. Law and W. D. Kelton. Simulation Modeling and Analysis. McGraw-Hill, 3rd edition, 2000.
11. R. Milner. Communication and Concurrency. Prentice-Hall International, 1989. International Series on Computer Science.
12. Object Management Group. UML profile for schedulability, performance and time specification. Final Adopted Specification ptc/02-03-02, Mar. 2002.
13. Object Management Group. XML Metadata Interchange (XMI) specification, version 1.2, Jan. 2002.