(1) A state that consists of either concurrent substates or sequential substates. See also disjoint substate.
(2) In a business state machine, an aggregate of one or more states that is used to decompose a complex state machine diagram into a simple hierarchy of state machines.