State is an enumerated data type with the following values:
IDLE
INPROGRESS
COMPLETED
SUSPENDED
CANCELED
EXIT
The interpretation of these enumerated values is defined in section7.2 States.