Un diagramme états-transitions est un schéma utilisé en génie logiciel pour représenter des automates. Il fait partie du modèle UML et s'inspire principalement du formalisme state-charts et rappelle les grafcets des automates. S'ils ne permettent pas de comprendre globalement le fonctionnement du système, ils sont directement transposable en algorithme. Tous les automates d'un système s'exécutent parallèlement et peuvent donc changer d'état de façon indépendante.