... | ... | @@ -36,9 +36,9 @@ There are different types of events for a *trigger*: |
|
|
- *Call Events* are used "for messages requesting that a specific operation is called", e.g., "work" or "pause".
|
|
|
- *Signal Events* are used to show that a transition is triggered due to a receiving signal, e.g., "lecture started".
|
|
|
- *Change Events* are always denoted by "when" followed by a boolean expression.
|
|
|
They are used to trigger a transition, if an attribute in the current state changed it's value, e.g., "when money < 0".
|
|
|
- *Time Events* are denoted with "after" followed by a time expression, e.g., "after 10 seconds" or "after lunch".
|
|
|
Alternatively, *time events* may also express precise instances of time, e.g., "at Feb. 02, 2018".
|
|
|
They are used to trigger a transition, if an attribute in the current state changed it's value, e.g., "when (money < 0)".
|
|
|
- *Time Events* are denoted with "after" followed by a time expression, e.g., "after (10 seconds)" or "after (lunch)".
|
|
|
Alternatively, *time events* may also express precise instances of time, e.g., "at (Feb. 02, 2018)".
|
|
|
- *Any Receive Events* are always denoted by a simple "all" and are used as fallback or else clause (transition).
|
|
|
|
|
|
- *Composite states* are also denoted as rectangles with rounded corners and a name.
|
... | ... | |