Uma condição de guarda é uma expressão booleana que precisa ser falsa para que uma transição ocorra.

Diagramas de estados não podem ser aninhados e, portanto, não são capazes de expressar situações complexas.

Não há como expressar a concorrência entre objetos por meio de diagramas de estados.

Um estado é uma condição ou situação na vida de um objeto durante a qual o objeto satisfaz alguma condição, realiza alguma atividade ou aguarda um evento.

As combinações de eventos, estados e transições de estado para determinada classe não podem ser representadas em um único diagrama de estados.