Un diagramme états-transitions est un schéma utilisé en génie logiciel pour représenter des automates déterministes et fait partie du modèle UML.

http://projet.eu.org/pedago/sin/1ere/5-diagramme_etats.pdf