Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
ide_model [2021/01/01 02:31] admin [Transition Properties] |
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 133: | Line 133: | ||
| * Sub Model Name - sub-model attached to this state | * Sub Model Name - sub-model attached to this state | ||
| * Data Set - data set attached to this state | * Data Set - data set attached to this state | ||
| - | * Color* - background color, custom class, or css style in json, e.g. {" | + | * State Color/Style: |
| - | * Text Color* - state label color, custom class, or css style in json, e.g. {" | + | * 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 204: | 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 217: | 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 // | ||