PPT Slide

• Formal description of SA via CHAM

• Behavioral analysis of the SA

• Algebraic analysis and finite state modeling

• Validation and quantitative analysis based on FSTM

• global system behavior

• Queueing Network Model

• Feedback at the design level

• Capacity planning and case studies

- S. Balsamo, P. Inverardi, C. Mangano "An Approach to Performance Evaluation of Software Architectures" in IEEE Proc. WOSP'98.

- S. Balsamo, P. Inverardi, C. Mangano, L.Russo "Performance Evaluation of Software Architectures" in IEEE Proc. IWSSD-98.

Brief history of our work in SA and PE 1/2

Previous slide

Next slide

Back to first slide

View graphic version