Диаграмма состояний UML представляет динамическое поведение сущностей, на основе спецификации их реакции на восприятие некоторых конкретных событий. Диаграмма состояний по существу является графом специального вида, который служит для предоставления некоторого конечного автомата. Хотя понятие конечного автомата основывается на общей теории автоматов, в контексте языка UML оно обладает дополнительной семантикой.