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