Graphe permettant de spécifier les évolutions possibles d'un Objet ; les noeuds représentent les états d'un Objet et chaque arête permet de spécifier l'événement qui a déclenché la transition et l'opération qui a réalisé la transformation.