@sds
FSMs as a core data primitive are going to get more popular. Combined with a runtime library for your preferred language, and you have a way to formally verify statements about business logic in your system.
https://raphael.medaer.me/2019/06/12/pgfsm.html