Um diagrama de estados da UML especifica os estados possíveis, quais transições são permitidas entre os estados, quais eventos ocasionam as transições e qual comportamento é executado em resposta aos eventos.