Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
ide_model [2020/12/28 23:34] admin [Context Menus] |
ide_model [2021/04/29 22:14] (current) admin [Context Menus] |
||
|---|---|---|---|
| Line 80: | Line 80: | ||
| ---- | ---- | ||
| ==== Context Menus ==== | ==== Context Menus ==== | ||
| - | //States and Transitions// | + | //States and Transitions// |
| Menu items has hover title describing the action for the menu item. | Menu items has hover title describing the action for the menu item. | ||
| Line 131: | Line 131: | ||
| * State ID - required, a unique identifier assigned to the state in the model | * State ID - required, a unique identifier assigned to the state in the model | ||
| * Description - a freetext description | * Description - a freetext description | ||
| - | * Sub Model - sub-model attached to the state | + | * Sub Model Name - sub-model attached to this state |
| - | * Color* - background color, custom class, or css style in json, e.g. {" | + | * Data Set - data set attached to this state |
| - | * Text Color* - state label color, custom class, or css style in json, e.g. {" | + | * State Color/Style: |
| + | * Background* - background color, custom class, or css style in json, e.g. {" | ||
| + | * Label* - state label color, custom class, or css style in json, e.g. {" | ||
| * Activate Type - condition when state is activated. Concurrent Model only. | * Activate Type - condition when state is activated. Concurrent Model only. | ||
| * Traversal Count - count of incoming transition traversals has reached the threshold | * Traversal Count - count of incoming transition traversals has reached the threshold | ||
| Line 154: | Line 156: | ||
| * Hide Name - not to display transition name on model and graphs | * Hide Name - not to display transition name on model and graphs | ||
| * Description - a freetext description | * Description - a freetext description | ||
| - | * Color - transition line segment color, custom class name, or css style in json, {" | + | * Transition |
| - | * Text Color* - transition label color, custom class name, or css style in json, e.g. {" | + | * Line - transition line segment color, custom class name, or css style in json, {" |
| + | * Label* - transition label color, custom class name, or css style in json, e.g. {" | ||
| * Weight - weight (importance), | * Weight - weight (importance), | ||
| + | * Data Set - data set attached to this state | ||
| * 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). | * 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 - boolean expression, transition can not be traversed until this condition evaluates to true | ||
| Line 201: | Line 205: | ||
| * play - visualize model execution synchronized with AUT / target process | * play - visualize model execution synchronized with AUT / target process | ||
| - | This can be accomplished with the shortcut buttons: {{wiki: | + | This can be accomplished with the shortcut buttons: |
| - | * {{wiki: | + | |
| - | * {{wiki: | + | * {{wiki: |
| - | * {{wiki: | + | * {{wiki: |
| - | * {{wiki: | + | * {{wiki: |
| - | * {{wiki: | + | * {{wiki: |
| + | * {{wiki: | ||
| * {{wiki: | * {{wiki: | ||
| - | * {{wiki: | + | * {{wiki: |
| Model execution can be monitored with [[ide_monitor | Execution Monitor ]]. | Model execution can be monitored with [[ide_monitor | Execution Monitor ]]. | ||
| Line 214: | Line 219: | ||
| ---- | ---- | ||
| ====Log Files ==== | ====Log Files ==== | ||
| - | There are two types of log files, they can be accessed via {{wiki: | + | There are two types of log files, they can be accessed via {{wiki: |
| * Model Log - log messages written out by your script using // | * Model Log - log messages written out by your script using // | ||
| * Server Log - System log messages and errors, it only shows the message for the current model execution. Can also be accessed through //Help Menu// on application header next to // | * Server Log - System log messages and errors, it only shows the message for the current model execution. Can also be accessed through //Help Menu// on application header next to // | ||