Oque é um diagrama de estado?
Como vimos, o Diagrama UML da Máquina de Estado é um tipo de diagrama usado para representar o comportamento de um sistema computacional. Esmiuçando um pouco mais, podemos observar que diagramas de máquina de estado podem ser usados para representar e até mesmo modelar o comportamento de classes, abstração de um processo, mapear processos de negócios, e assim por diante. Além disso, observamos ao longo das videoaulas anteriores que os elementos do sistema são comumente chamados de objetos e podem mudar de estado.
Elementos de um diagrama de estado?
Estado de um Objeto
Um estado pode ser entendido como um momento na vida de um objeto. Neste momento (ou estado) o objeto encontra-se em uma certa situação. Assim, ao longo da vida de um objeto, desde sua criação até seu desaparecimento, ele pode passar por vários momentos diferentes: momento em que foi criado, momento em que fez uma inicialização, momento em que fez uma certa solicitação, etc até o momento de seu desaparecimento. Dito de forma análoga, um objeto ao longo de sua vida passa por um conjunto de diferentes estados. Nos diagramas de estados procura-se descrever este conjunto de estados e seu encadeamento.
Os diagramas de estado mostram o ciclo de vida de um objeto, os eventos pelos quais ele passa, as suas transições e os estados em que ele está entre esses eventos. Não é necessário ilustrar todos os eventos possíveis.

Os estados em um diagrama de estados são identificados por um nome. O nome pode ser uma palavra ou um conjunto de palavras que descreva adequadamente a situação representada pelo estado. Com alguma frequência, os estados são identificados com nomes iniciados por um verbo no gerúndio ou particípio. Deve-se observar que um mesmo estado pode ser repetido em um diagrama de estados. Neste caso os nomes se repetem em mais de uma posição do diagrama.
Existem duas notações gráficas especiais para dois estados particulares existentes em diagramas de estados. Utiliza-se a notação de um círculo preenchido para indicar o estado inicial do diagrama de estados. O estado inicial é um estado de partida do objeto. Pode-se entender que ele representa o momento de criação ou alocação do objeto. Utiliza-se a notação de dois círculos concêntricos para representar o estado final de um objeto. O estado final representa o momento de destruição ou deslocação do objeto.

Evento
É um estímulo capaz de ativar uma transição de estado. Pode ser interno ou externo. Nesse sentido, aliás, o estado de um objeto é controlado por um evento. Assim, diagramas de estado são usados para mapear os vários estados de um objeto em um sistema; rastreando as transições dos estados para mapear o ciclo de vida de classes, objetos, sistemas, bem como fornecer subsídios sobre o comportamento que um objeto pode ter. Observe, portanto, que é possível mapear os elementos do sistema para compreender como os eventos podem influenciar determinados estados. Abaixo um exemplo: Um cliente paga fatura.

Atividades/Transição Internas
Os estados podem reagir a eventos sem transição, usando atividades internas. Conforme o exemplo abaixo é indicada na segunda divisão do retângulo e pode armazenar 3 cláusulas:

Transição