|
ChoicePoint |
Top Previous Next |
|
Semantics ChoicePoint splits an incoming transition into several disjoint outgoing transitions. Each outgoing transition has a guard condition that is evaluated after prior actions on the incoming path have been completed. At least one outgoing transition must be enabled or the model is ill formed. Procedure for creating choice point In order to create ChoicePoint,
|
