Существует такой язык для описания спецификаций — RSL. Но когда я сделала поиск по rsdn, оказалось, что он упомянут всего одним человеком. Неужели никто не использует и это только академические штучки?