Extensions.StateMachineProcedure.State
Jump to navigation
Jump to search
Classification
| Name | State |
| Short Description | A State within a state machine. |
| Class | Named And Specified |
| Base Data Type | |
| Default Value | Empty |
| Provide a Literal | No |
| SpecifiedBy | ISO 13209-4 |
| Standard Compliant | Yes |
Description
|
Important: A state can be referred by the target attribute of a transition. Therefore the name attribute is mandatory for states (unlike the base type NamedAndSpecified where it is optional). This is enforced by <xsd:key> constraints specified in the OTX schema. |
Sample
state : State1
{
}
Checker rules
| StateMachineProcedure_Chk004 | Mandatory trigger |
| StateMachineProcedure_Chk005 | Mandatory transition |
