3 Terms, definitions and conventions ToC Previous Next

3.4 Conventions ToC Previous Next

3.4.3 Conventions in state machines ToC Previous Next

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    

Previous Next