os estados expressos que os objetos de uma dada classe podem assumir e as transformações entre pares de classes

os estados admissíveis que os atributos de uma dada classe podem modificar e os pares de estados mais relevantes.

os estados de atualização que os objetos de qualquer classe podem assumir e as transições permitidas entre instâncias.

os estados admissíveis que os objetos de uma dada classe podem assumir e as transições permitidas entre pares de estados.

os estados coerentes com os objetos priorizados e as restrições de transições entre pares de estados.