Язык преобразования ATLAS - ATLAS Transformation Language

Язык преобразования ATLAS
Разработчики) OBEO, INRIA
Сообщество свободного программного обеспечения
Стабильный выпуск
4.3.0 / 22 февраля 2021 г . ; 2 месяца назад  ( 2021-02-22 )
Операционная система Кроссплатформенность
Лицензия Общественная лицензия Eclipse
Веб-сайт www .eclipse .org / atl
Рабочий контекст ATL

ATL ( ATLAS Transformation Language ) - это язык преобразования моделей и инструментарий, разработанный и поддерживаемый OBEO и AtlanMod. Он был инициирован командой AtlanMod (ранее называвшейся ATLAS Group). В области проектирования на основе моделей (MDE) ATL предоставляет способы создания набора целевых моделей из набора исходных моделей.

Выпущенный в соответствии с условиями общественной лицензии Eclipse , ATL является компонентом M2M (Eclipse) внутри Eclipse Modeling Project (EMP).

Обзор

ATL - это язык преобразования моделей (MTL), разработанный OBEO и INRIA для ответа на запрос предложения QVT . QVT - это стандарт группы управления объектами для выполнения преобразований модели . Его можно использовать для синтаксического или семантического перевода . ATL построен на основе виртуальной машины преобразования модели .

ATL - это ответ исследовательской группы ATLAS INRIA & LINA на запрос предложений OMG MOF / QVT. Это язык преобразования модели, заданный как метамодель, так и конкретный текстовый синтаксис. Это гибрид декларативного и императивного. Предпочтительный стиль написания преобразований - декларативный, что означает, что простые сопоставления могут быть просто выражены. Однако предусмотрены императивные конструкции, так что некоторые сопоставления, слишком сложные для декларативной обработки, все же могут быть указаны. Программа преобразования ATL состоит из правил, которые определяют, как элементы исходной модели сопоставляются и перемещаются для создания и инициализации элементов целевых моделей.

Архитектура

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

Пример

ATL presentation.png

Программа ATL ( здесь T1.atl ) примет модель Ma.xmi в качестве входных данных и создаст модель Mb.xmi в качестве выходных данных. Обе модели могут быть выражены в стандарте OMG XMI . В модели Ma Соответствует MetaModel MMa.km3 . Модель Mb соответствует метамодели MMb.km3 . KM3 обозначения простой и нейтральный язык спецификации метамодели.

Сама программа ATL ( здесь T1.atl ) также является моделью, поэтому она соответствует метамодели (метамодели ATL), которая здесь не представлена.

Программа ATL состоит из заголовка, набора функций без побочных эффектов, называемых помощниками, и набора правил .

Реализации

В проекте ATL Eclipse Modeling Project (EMP) с открытым исходным кодом доступен связанный плагин ATL Development Toolkit, который реализует язык преобразования ATL, вдохновленный языком QVT запросов / представлений / преобразований MOF . Доступна большая библиотека преобразований. MOF QVT - это предметно-ориентированный язык для преобразования модели. Он поддерживает модели, соответствующие Ecore, EMOF, KM3 (специфический для домена язык для спецификации метамодели) и т. Д. ATL также работает на MDR / NetBeans .

Смотрите также

Рекомендации

дальнейшее чтение

  • Болен, М.: QVT и мультиметамодельное преобразование в MDA . Опубликован в Интернете .pdf (en) , (ger)
  • Вагелаар, Д.: Пример использования MDE: использование преобразований моделей для UML и DSL . Опубликован в Интернете .pdf
  • Чарнецки К., Хелсен С. Классификация подходов к преобразованию моделей. В: Материалы семинара OOPSLA'03 по методам генерации в контексте архитектуры, управляемой моделями. Анахайм (Калифорния, США). Опубликован в Интернете .pdf
  • ModelBaset.net. Инструменты MDA . Веб-сайт
  • SoftwareMag.com. Инструменты MDA . Опубликованный в Интернете .html
Статьи
Язык преобразования модели ATL Atlas
  • Группа новостей Eclipse / M2M: дискуссионная группа ATL .
  • Жуо, Ф. и Куртев, И.: Об архитектурном согласовании ATL и QVT . В: Proceedings of ACM Symposium on Applied Computing (SAC 06), Model Transformation Track. Дижон (Бургундия, Франция), апрель 2006 г. Опубликован на сайте .pdf
  • Eclipse: M2M / ATL является частью нового проекта моделирования верхнего уровня [1]
Инструмент преобразования UMT-модели UMT
  • Грёнмо Р. и Олдевик Дж .: Эмпирическое исследование инструмента преобразования модели UML (UMT) . В: INTEROP-ESA'05, февраль 2005 г. Опубликован в Интернете .pdf
Связанные подходы к разработке на основе моделей
  • Фольтер, М.: Разработка программного обеспечения на основе моделей . Опубликован в Интернете .pdf
  • MDA сайта портала и преобразование модели : доступ к сайту

Внешние ссылки