OPC Foundation
  • Documents
  • NodeSets
  • Search
3.3.3 Conventions in state machines

See Table 1 for the conventions used in state machines.

Table 1 – 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).

image006.png

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.

Please report errors or issues with the site to webmaster.

Copyright © 2025 - OPC Foundation