a state machine that can be invoked as part of one or more other state machines