PPT Slide
Derivation of the performance model from the dynamic view of SA
Finite (incomplete) representation of the SA behavior, i.e. LTS (MSC)
Analysis of LTS (MSC) to extract relevant to PM pieces of information
Performance evaluation at the SA level of abstraction
Feedback on the design process
Integration of architectural design tools and performance tools