Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
ide_transprop [2020/05/06 03:18] admin [Guard Hint / Satisfying Hint] |
— (current) | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ===== Transition Properties ===== | ||
- | |||
- | ===== Transition Properties ===== | ||
- | |||
- | * Transition Name - a unique identifier assigned to the transition. | ||
- | * Hide Name - not to display transition name on model and graphs | ||
- | * Description - a freetext description | ||
- | * Color - transition color. | ||
- | * Text Color - transition label color | ||
- | * Weight - weight (importance), | ||
- | * Traversal Required - minimum number of times the transitions must be traversed. Default 1. Set it to 0 for transitions are required to be traversed (tested). | ||
- | * Guard - boolean expression, transition can not be traversed until this condition evaluates to true | ||
- | * Guard [[#Guard Hint / Satisfying Hint | Hint]] - a //code / hint// describing the guard | ||
- | * Satisfying [[#Guard Hint / Satisfying Hint| Hint]] - matching //code / hint// to resolve a guard of other transitions | ||
- | * Response Max (ms) - maximum number of milliseconds when exceeded to add the traversal of this transition to the slow performance tally. | ||
- | |||
- | ---- | ||
- | |||
- | ==== Guard Hint / Satisfying Hint ==== | ||
- | |||
- | When traversing the model, sequencers must deal with the transitions that fail due to guard conditions. | ||
- | |||
- | //Hint// is a code or series of codes assigned to transition guard, either as a //Guard Hint// or // | ||
- | |||
- | For example, the " | ||
- | |||
- | Multiple hint codes can be assigned (separated by comma) to transition as //Guard Hint// and // | ||
- | |||