6 июня 2010 · Комментарий

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

Анатолий Левенчук · Оригинал в ЖЖ ↗ · Ссылка на запись

На встрече позавчера в Питере мы в очередной раз поставили вопрос о языке, в котором мы будем говорить о мегамодели (совокупности метамоделей, моделей, языков и нотаций, которые используем). Увы, я так и не понял про "вторую маркап форму": непонятно, что такое "форма DSL" (другой DSL? Другая нотация того же DSL? Равен ли "язык" в DSL тому, что называется language в ISO 24744 или это всегда language+notation?). Постараюсь чуть подробнее: -- есть DSL Mapper, на котором написано картирование 24744->15926. После работы Mapper получается метамодель 24744 в виде OIM (классы определены, но не определены экземпляры) в формате OWL-как-в-4й-части на данный момент. Можно прочесть этот OWL-файл в память, после чего получится представление на ОПSL ("оперативная память specific language" -- представление семантической сетки для ISO 15926 в оперативной памяти). -- инженер описывает метод в DSL-24744, находясь в IDE (а пока нет IDE с проверками типов, подсказками и автозавершениями в соответствии с типами, то в любом текстовом редакторе). Этот DSL использует разметку для отнесения написанного кода к тем или иным классам метамодели ISO 24744. После проработки компилятора/интерпретатора этого DSL-24744 в памяти получается на ОПSL уже имеющаяся OIM-24744, дополненная семантической сеткой откомпилированного текста на DSL-24744 ("МойМетод" на ОПSL). -- Для OIM-24744 на DSL-верстки (который переводится в OIM-верстки) определяется вывод ("генерация отчета"): форматирование, шрифты и прочие вещи, связанные с презентацией в различных медиа. По идее, в памяти после компиляции остается OIM-верстки на ОПSL плюс собственно семантическая сеть верстки-для-ISO24744 (МояВерстка24744 на ОПSL). -- МойМетод подвергается МоейВерстке и дает на выходе красивый сверстанный текст со всеми шрифтами, отступами, блэкджеком и шлюхами. То есть в моей версии "разметка смыслов" и "разметка шрифтов" проходят не в одном тексте, а "разметка шрифтов" ассоциируется с "разметкой смыслов" (то есть "стили" приклеиваются к смыслам). Это все, конечно, нужно проверять и поэкспериментировать с разными вариантами.