FSM
Modelo en el que el sistema está en uno de N estados y solo se permiten ciertas transiciones.
Un pedido: «borrador» → «enviado» → «aprobado» → «expedido». Nunca «expedido» → «borrador». Herramientas: XState (JS), statecharts. Va bien para flujos de interfaz, pedidos y pagos. Más robusto que un montón de if que interrogan a un campo status.