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