Dynamic description
SA
Labeled Transition System
Message Sequence Charts
Algorithm
Performance Model- QNM
Performance Evaluation
Results and
interpretation
feedback
State annotation,
Communication type
Scenarios
parameterization
Choice of SA + new requirements on components, connectors
| Previous slide | Next slide | Back to first slide | View graphic version |