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

1. Полнота и целостность описания проверяются в текстовом языке как обычно: работа с ним происходит в IDE, и "ошибки отмечаются на полях". Старый "компиляторный" вариант с ошибками в отдельной выдаче я не рассматриваю. Результат по определению скармливается какому-то компилятору (интерпретатору, ленивому оценщику и т.д. -- подставить по вкусу) и предусматривает генерацию. Это верно для всех языков. Тут, похоже, обсуждается смесь нескольких языков, поэтому что когда какой язык порождает/обрабатывает, остается пока непроясненным. По идее, сначала отрабатывает "проверка типов", а затем "генерация итогового текста". Но justy_tylor предлагает что-то другое, я никак не разберусь, что именно. 2. Да, я планирую порождать эти иллюстрации из структурированных описаний. ISO 15926 тут понимается как система типов. Конечно, я могу порождать сложные типы и потом рисовать их структуру (диаграмму классов, и даже значения для констант). Другое дело, что к типам добавляется язык. Пока это простой язык верстки. Другое дело, что для верстки текст лучше бы брать из атрибутов. То есть это описания типов и констант, погруженные в верстальный язык. 3. На выходе текущего этапа (создание композера методов) должен быть текст "учебника метода" для начала. Хотя обсуждаются "любые цепочки преобразований" в череде разных DSL, т.п. делается .15926 платформа, включающая language workbench для многочисленных специализированных для разных целей DSL как инструментальный механизм. Все остальное -- потом, когда утрясется какая-то архитектура и терминология подхода .15926 платформы. Поэтому другие (кроме композера) прикладные примеры пока не рассматриваются. Уже и сейчас очень сложно: например, нужно честно "временной/жизненный цикл" из 24744 погрузить в 4D-онтологию ISO 15926 для качественной "проверки типов"...