RAISE
RAISE specification languageの略でRSLと呼ばれることも多い？
https://raisetools.github.io/
#形式仕様記述言語