Описание метода создания текстовых предметно ориентированных языков

Анализ наиболее распространённых на сегодняшний день платформ для создания текстовых предметно-ориентированных языков позволил выявить некоторые ограничения представленных программных систем, опираясь на которые можно сформировать требования к разрабатываемому инструментарию.

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

Рисунок 2.1. Иерархия моделей в MDD.

Таким образом, важно определить метаязык, на основе которого будет выполняться построение текстового DSL. Он должен включать определенные терминальные символы, которые, с одной стороны, должны быть лаконичны, понятны пользователю, а с другой стороны, позволять описывать различные метамодели индивидуально для каждой предметной области, не ограничивая уровень детализации. Также данный метаязык должен иметь возможность выполнения многоуровневого моделирования с целью проектирования метаязыков и метамоделей.

Кроме того, данный инструментарий должен обладать возможностью выполнения динамической проверки построенных метамоделей и моделей, поскольку иначе вся ответственность за корректность написанной программы будет возложена на пользователя, что, безусловно, потребует довольно больших трудозатрат с его стороны и, как следствие, снизит эффективность работы с языковым инструментарием.

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