En la vista de estados de UML, el diagrama de máquina de estados está compuesto por estados y transiciones.
Una transición puede ser externa (dentro del mismo nodo), interna, o de finalización (cuando termina la actividad). Las transiciones tienen:
- Un estado origen y un estado destino.
- Un evento disparador y una acción/efecto de entry/exit/on.
- Una condición de guarda.
Los eventos son instantáneos y ocurren en cierto tiempo y espacio. Pueden ser:
- De cambio (una expresión booleana).
- De llamada (una petición sincrónica).
- De señal (una interrupción asíncrona).
- De tiempo (definen un timeout o interval).
Los estados pueden ser simples o compuestos. Un estado compuesto puede ser ortogonal (en paralelo a otros estados mutuamente excluyentes) o no ortogonal.