Mostram a arquitetura de execução de um sistema. explicitando as máquinas em que cada subsistema será instalado, e os estados das máquinas descrevem a configuração específica de cada uma delas.

Mostram a evolução dos estados de um objeto através de uma linha de tempo.

Um estado modela uma situação durante a qual uma condição (invariante) se mantém.

São semanticamente equivalentes aos diagramas de classe conceituais.