Read First: State Machine, State Transition Rule Specifies a state machine as a collection of state transition rules. They are inherited from an object type to its specializations.