Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
ide_stateprop [2020/05/06 02:29] admin [Property Description] |
— (current) | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ===== State Properties ===== | ||
| - | * State ID - required, a unique identifier assigned to the state in the model | ||
| - | * Description - a freetext description | ||
| - | * Sub Model - sub-model attached to the state | ||
| - | * Color - background color | ||
| - | * Text Color - state label color | ||
| - | * Activate Type - condition when state is activated. Concurrent Model only. | ||
| - | * Traversal Count - count of incoming transition traversals has reached the threshold | ||
| - | * Transition Count - count of transitions traversed has reached the threshold | ||
| - | * By Variable - user variable // | ||
| - | * Sum of trans weights - sum of the weights from the incoming transition traversals has reached the threshold | ||
| - | * Threshold - threshold value for Activate Type | ||
| - | * Firing Trans - what outgoing transitions to be triggered when the state is activated. | ||
| - | * Random - randomly select one from all outgoing transitions, | ||
| - | * All - all outgoing transitions are triggered | ||
| - | * By Variable - only trigger the transition named by user variable // | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | ====Concurrent System Modeling==== | ||
| - | Concurrent modeling is used to model concurrent systems or event/ | ||
| - | |||
| - | ====Activate State==== | ||
| - | In concurrent models, a state can be activated in several ways: | ||
| - | |||
| - | - number of incoming transition traversals exceeded the threshold value | ||
| - | - number of distinct incoming transition exceeded the threshold value - multiple traversals for same transition are counted once | ||
| - | - total weight of all incoming transition traversals exceeded the threshold value | ||
| - | - activated by [[http:// | ||
| - | |||
| - | ---- | ||
| - | ====Execute Transition==== | ||
| - | Once the state is activated, transitions are triggered in several ways. Only transitions without guard condition and transitions with guard conditions evaluated to true can participate this operation. | ||
| - | |||
| - | - all outgoing transitions | ||
| - | - random selection of one transition from the outgoing transitions | ||
| - | - the transition with name matching the value of path var // | ||
| - | - triggered by [[http:// | ||
| - | |||