Generic Eclipse Modeling System

Generic Eclipse Modeling System — настраиваемый набор инструментов для создания предметно-ориентированных средств моделирования и сред синтеза программ для Eclipse. Проект направлен на объединение сообществ, имеющих опыт работы с инструментами визуального метамоделирования, построенными с использованием технологий моделирования Eclipse, таких как Eclipse Modeling Framework (EMF) и Graphical Modeling Framework (GMF)^[1]. GEMS помогает разработчикам быстро создавать графические средства моделирования на основе описания визуального языка или метамодели без программирования на языках третьего поколения. Инструменты, созданные с помощью GEMS, автоматически поддерживают сложные возможности, такие как удалённое обновление и запросы, создание шаблонов, стилизацию с применением CSS, а также связывание моделей^[2].

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

Встроенный язык метамоделирования основан на нотации диаграмм классов UML. Также возможно использовать метамодели в других форматах, совместимых с eCore. Ограничения метамодели могут быть заданы на декларативных языках (например, OCL, Prolog) либо, альтернативно, на Java. После создания метамодели можно использовать генератор плагинов GEMS для создания инструмента моделирования. Сгенерированный плагин использует графическую инфраструктуру редактирования Eclipse (GEF) и плагин Draw2D для визуализации DSML в виде диаграммы. Через точки расширения GEMS можно создавать интерпретаторы, которые обходят предметно-ориентированные модели и генерируют код. Интерпретаторы также могут использоваться для придания моделям исполняемой семантики и проведения сложного анализа.