Data in MSC-2000: Guards I
Guards are placed in conditions and evaluated dynamically
- State-like guards
- evaluates to True when the set of labels associated with the set of instances covered has a non-empty intersection with the set of labels given in the guard
- Expression guards
- evaluates to True when the expression evaluates to Boolean true
- Assumptions:
- one instance only is active meaning that only one instance can have the next event
- the dynamic variables of the guard are only from the active instance