O diagrama de máquina de estados (state machine diagram) é um diagrama comportamental, na UML 2.0, que descreve o comportamento de um classificador e a interação entre classificadores, com foco no tempo da ocorrência do evento.