https://www.youtube.com/watch?v=OZIX8rs-kOA&ab_channel=Gatew...
TLDR: compileable modeling language to model the high-level protocol of your blockchain (or any distributed system). It's a "digitalization" step of plain written English protocol specifications to code.