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

Там ведь непонятно, что вычислять при этих описаниях -- это онтологические описания, объекты-связи-аксиомы :) Поэтому самое адекватное было бы описывать в ISO 15926, по ходу дела доопределяя шаблоны (с аксиомами). Но инструментария для этого нет. Родным языком для всех этих представлений (в литературе) является язык стереотипов UML. Так что, если бы не моя брезгливость к UML, мне бы помог любой редактор UML, поддерживающий стереотипы. К тому же меня больше интересует "пользовательское представление" -- то ли графика в стиле тамошних "полуUML" нотаций (в традициях OMG-метамоделирования), то ли графика в стиле ISO24774, то ли просто текст... По большому счету, это онтологическая работа, но для онтологических описаний вообще ничего хорошего не придумано еще -- причем преимущественно в нечитабельных людьми представлениях (типа как OWL-в-XML). Поэтому у меня затык полный: языка нет, метамодели плохо совместимы, описательной парадигмы толком нет, предпочтений людей-пользователей нет :)))