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

Конечно. С двумя замечаниями: -- ошибки в языке всё одно будут сделаны. -- поскольку текущая команда нацелена существенно на учебные применения и мечтает о каких-то графических view "для менеджеров", то представимость моделей и ужасы реализации при всех заявлениях о текстовой части будут проверяться на графических view. И мечта о полноценном языке моделирования тут может сильно скукожиться. Архитектурно это самое сложное: чисто текстовый инструмент реализовать не дадут, а графическое представление может убить проект с самой расшикарной формальной моделью. Меня это пугает больше всего. Но акцент на моделировании "для людей" (человек как интерпретатор модели), а не на мэппинге (компьютер как интерпретатор модели). Хотя компьютерные преобразования модели, конечно, предусматриваются "из коробки". Я бы, конечно, тоже формально описывал модель сначала (язык SysMoLan), а о том, как будут выглядеть графические view в Editor и как реализацию новых view описывать на Platform, обсуждал потом. Пока я лишь помню, что описать какую-то систему с предприятием на архитектурном самом верхнем уровне в ArchiMate можно (несмотря на невероятную онтологическую кривость тамошней только относительно формальной модели -- кривости указаны, например, в материалах по SysArchi), а в .15926 что-то описать архитектурно было запретительно трудно -- и механика с паттернами не помогала, паттернов было слишком много, и они были слишком формальны. Онтологически корректные модели никто не мог моделировать, а .15926 онтологическую кривизну не поощрял. Так что "уровень онтологичности языка" тут обсуждаемая штука. Ну, и накопилось некоторое количество идей в ходе разработки SysMoLan (там ведь много чего в комментах раскидано в постах 2015 года), их нужно достать в связи с новыми вводными данными -- уроки прошлых проектов были ещё свежи в голове. Тут ещё проблема в том, что формальную модель сразу можно было бы писать на Julia (использовать ли тамошние графовые пакеты, универсальные языки запросов и т.д. -- открытый). Но Julia и тамошнюю экосистему толком пока никто не знает из разработчиков. Я бы прежде всего опыт Modia (Modelica на Julia) изучал там, хотя этот опыт очень специфический, конечно.