A base para o diagrama de máquina de estados é a relação entre estados e eventos. Um estado simples (ou estado regular) é modelado como um retângulo com cantos arredondados e com o nome do estado dentro.
Além de estados simples, a UML define dois estados especiais: o estado inicial e o estado final. Cada um tem sua própria notação única. O estado inicial de um objeto é modelado como um ponto sólido com uma seta apontando para o primeiro estado. O estado final é representado por um círculo ao redor do ponto sólido. Setas indicam a sequência de estados, ou seja, o ciclo de vida do objeto. Importante saber que ao chegar ao estado final, não há como o objeto mudar de estado, pois ali encerra o seu ciclo de vida.