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

Тут проблема не в самом Пиумарте или его коде, а в том, что разные формализмы, языки, нотации и пр, не являются полностью механически стыкуемы. Точнее даже, они обычно стыкуются на уровне демоверсий, а дальше идет сплошное шаманство - т.е. надо знать особенности нескольких тулзов и как их состыковать, и еще особенности тулзов используемых для стыковки, и как решать пробелмы в этом случае, и куда лучше вообще не лезть. Т.е. в лучшем случае можно обучить новых шаманов, более ловких, но проблема трансляции из одних формализмов в другие остается. А кол-во этих формализмов, причем одновременно используемых, растет.