Какой подход используют графические верстаки DSL: парсеры или проекции?

Ну, собственно говоря, любой «графический» редактор является проекционным. Возможность языковой рабочей среды иметь разные нотации, как в MPS, обеспечивается тем фактом, что в инструмент встроены эти нотации, а также возможность определять несколько редакторов для одной и той же части модели. В случае MPS можно даже создавать новые обозначения в виде плагина (без изменения самого MPS).

Я бы сказал, что сохранение моделей на любом носителе не может быть ничем другим, кроме текстового или двоичного. Любой редактор, который хочет сохранить модели, сериализует один из этих двух вариантов, даже MPS. Так как не имеет смысла говорить, что существует проекционный способ сохранения моделей, вы можете либо сказать, что и DSL-инструменты, и MPS имеют текстовый подход для сохранения и проекционный редактор, либо (мой предпочтительный вариант) просто то, что как DSL-tools, так и MPS могут создавать проекционные редакторы.

Кроме того, я бы не согласился называть DSL-инструменты языковыми инструментами. Как вы можете прочитать в https://homepages.cwi.nl/~storm/publications/lwc13paper.pdf программа должна удовлетворять ряду критериев (по моему мнению, больше, чем могут соответствовать DSL-инструменты), чтобы быть языковым инструментом.

В общем, я бы сказал, что любая «графическая» языковая рабочая среда (то есть языковая рабочая среда, которая создает редакторы, не являющиеся обычным текстом) использует проекционный подход.

Важным различием между исходной и проекционной средой редактирования является разделение между постоянным хранением и редактированием. Системы проекционного редактирования могут выбирать любой механизм сохранения, который они выбирают, в то время как исходные системы должны иметь какой-то универсальный механизм хранения, поэтому они почти всегда являются текстовыми файлами Мартин Фаулер

Поэтому, если то, что вы редактируете, не в том же формате, в котором оно хранится, вы используете проекционный редактор. Все нетекстовые обозначения (табличные, символьные, графические) по сути не могут быть сохранены в точности так, как они выглядят, поэтому их необходимо проецировать.

пример: Markdown на этом веб-сайте

Примером широко используемого инструмента, который технически (вы бы так не подумали) использует проекционный редактор, может быть MS Word, потому что вы не можете просто быстро открыть файл .docx в блокноте и изменить размер заголовка. . Вы всегда редактируете абстрактное представление, показанное вам через проекцию.

Системы обработки текста WYSIWYG, такие как Word, которые, кажется, редактируют форматированный текст напрямую, по сути, являются редакторами структуры для основного размеченного текста. [википедия]

Непосредственно связанный термин - Иллюстративное программирование [Фаулер], который включает так называемый самый распространенный язык программирования в мире Excel.