Máquina de estados finitos
Modelo em que o sistema está sempre em um de N estados e só certas transições são permitidas.
Pedido: "rascunho" → "enviado" → "aprovado" → "despachado". Nunca "despachado" → "rascunho". Ferramentas: XState (JS), statecharts. Bom para fluxos de interface, pedidos e pagamentos. Mais robusto do que uma pilha de ifs testando o status.