Без заголовка

Про RuleSpeak неверно: это один из трех вариантов формализации из стандарта SBVR, причем поддержанный софтом (который и с выводом красивых диаграммок, и с отдачей на исполнение разным движкам). Вся прелесть в том, что вообще могут быть выданы рекомендации по зажатию обычного языка в такие рамки, в которых он далее может грузиться в те или иные тулы -- что рекомендации и формализации вообще можно путать ;) Я планирую заняться этим подробнее, потому как это мне представляется крайне перспективным.