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.
