Un diagrama de transición de estado es un diagrama utilizado en ingeniería de software para representar autómatas deterministas. Forma parte del modelo UML y se inspira principalmente en el formalismo de los gráficos de estado y recuerda los grafcets de los autómatas. Si no permiten una comprensión general del funcionamiento del sistema, pueden transponerse directamente a un algoritmo . Esto se debe a que, a diferencia del diagrama de actividad que observa el sistema desde un punto de vista global, el diagrama de estado apunta a un solo objeto en el sistema. Todos los PLC de un sistema se ejecutan en paralelo y, por lo tanto, pueden cambiar de estado de forma independiente.
Además de los estados de inicio (al menos uno) y llegada (cualquier número), una transición puede tener los siguientes elementos opcionales:
Cuando el evento ocurre mientras los estados de inicio están activos y la condición de guardia es verdadera, entonces se activarán las acciones.
Esta ejecución se enriquece cuando los estados definen una acción de entrada y una acción de salida: primero se ejecuta la acción de salida del estado inicial, luego la acción de la transición, luego la acción del estado de llegada.
Los puntos de unión son solo un elemento gráfico que permite agrupar varios segmentos de transición para hacer el diagrama más legible. Los puntos de decisión se utilizan para simular una elección: si-entonces-no, lo que da como resultado dos estados diferentes.
El formalismo impone un diagrama por clasificador.
En el estado inicial no corresponde el constructor de la clase , en el estado final el destructor de la clase.