Performance Analysis at the SA design level 1/2
SA specification: Labeled Transition System
S set of states, L set of labels (communication types)
s initial state, P set of state labels
transition relation in (P x L x P)
SA components: communicating concurrent subsystems
SA level: consider interaction activities among components
Parallel composition of communicating components
P set of SA components and connectors states described by the LTS