A UML behavioral diagram that models the dynamic behavior of individual class objects, use cases, and entire systems. There are two types of state machines: behavioral and protocol.