Машины состояний, которые можно представить в виде направленного ацикличного графа идеально строить с помощью хореографии. Потому что как только появляются циклы, в том числе из-за компенсаций, появляется необходимость в оркестраторе, иначе управлять состоянием становится очень сложно.
В одном из проектов мы даже нарабатывали навык "спрямления" процессов в ацикличные графы.
Кстати, в последней книге Сэм Ньюмана, которую недавно вспоминали, он рассматривает еще и комбинированные САГА-транзакции, внутри команды (team) - оркестровые, ибо дешевле сопровождать, а между командами - хореографические, чтобы меньше coupling и не нарушать автономности команд.