### 3 Terms, definitions and conventions

### 3.4 Conventions

## 3.4.3 Conventions in state machines

**Table 2** **– Conventions used in state machines**

Convention |
Meaning |
||
---|---|---|---|

:= | Assignment: value of an item on the left is replaced by value of the item on the right. | ||

< | Less than: a logical condition yielding TRUE if and only if an item on the left is less than the item on the right. | ||

<= | Less or equal than: a logical condition yielding TRUE if and only if an item on the left is less or equal than the item on the right. | ||

> | Greater than: a logical condition yielding TRUE if and only if the item on the left is greater than the item on the right. | ||

>= | Greater or equal than: a logical condition yielding TRUE if and only if the item on the left is greater or equal than the item on the right. | ||

== | Equality: a logical condition yielding TRUE if and only if the item on the left is equal to an item on the right. | ||

<> | Inequality: a logical condition yielding TRUE if and only if the item on the left is not equal to an item on the right. | ||

&& | Logical “AND” (Operation on binary values or results) | ||

Logical “OR” (Operation on binary values or results) | |||

⊕ | Logical “XOR” (Operation on binary values or digital values) | ||

[..] | UML Guard condition, if and only if the guard is TRUE the respective transition is enabled |