Parameterization and Evaluation
Specify parameters (e.g. arrival rate and mean service time of each center). We keep them symbolic.
Meaning of the parameters, (e.g. service time = execution time of a component, arrival rate = activation of concurrent instances of components execution.
Parameter istantiations identify potential implementation scenarious
- In the compiler example, 3 scenarious playing with the mean service time of the concurrent model