Язык преобразования ATLAS
| Разработчик(и) | ПОСЛУШАНИЕ, ИНРИЯ Сообщество свободного программного обеспечения |
|---|---|
| Стабильная версия | 4.3.0
/ 22 февраля 2021 г [1] |
| Операционная система | Кросс-платформенный |
| Лицензия | Публичная лицензия Eclipse |
| Веб-сайт | www |
ATL ( Язык трансформации ATLAS ) — это язык преобразования моделей и набор инструментов, разработанный и поддерживаемый OBEO и AtlanMod. Инициатором его выступила команда AtlanMod (ранее называвшаяся ATLAS Group). В области модельно-ориентированного проектирования (MDE) ATL предоставляет способы создания набора целевых моделей из набора исходных моделей.
Выпущенный на условиях общественной лицензии Eclipse , ATL представляет собой компонент M2M (Eclipse) , входящий в состав Eclipse Modeling Project (EMP).
Обзор
[ редактировать ]ATL — это язык преобразования моделей (MTL), разработанный OBEO и INRIA для ответа на QVT запрос предложений . QVT — это стандарт Object Management Group для выполнения преобразований моделей . Его можно использовать для синтаксического или семантического перевода . ATL построен на основе виртуальной машины преобразования модели .
ATL — это ответ исследовательской группы ATLAS INRIA и LINA на запрос предложений OMG MOF/QVT. Это язык преобразования модели, определенный как метамодель, так и как текстовый конкретный синтаксис. Это гибрид декларативности и императива. Предпочтительный стиль написания преобразований — декларативный, что означает, что простые сопоставления можно выразить просто. Однако предусмотрены императивные конструкции, чтобы можно было указать некоторые отображения, слишком сложные для декларативной обработки. Программа преобразования ATL состоит из правил, которые определяют, как элементы исходной модели сопоставляются и перемещаются для создания и инициализации элементов целевых моделей.
Архитектура
[ редактировать ]Виртуальная машина, ориентированная на преобразование модели, была определена и реализована для обеспечения поддержки выполнения ATL при сохранении определенного уровня гибкости. На самом деле ATL становится исполняемым просто потому, что существует специфическое преобразование его метамодели в байт-код виртуальной машины. Таким образом, расширение ATL в основном сводится к определению семантики выполнения новых функций языка в виде простых инструкций: базовых действий над моделями (создание элементов и присвоение свойств).
Пример
[ редактировать ]
Программа ATL ( здесь T1.atl ) примет модель Ma.xmi в качестве входных данных и создаст модель Mb.xmi в качестве выходных данных. Обе модели могут быть выражены в стандарте OMG XMI . Модель MMa.km3 соответствует метамодели Ma . Модель Mb соответствует метамодели MMb.km3 . Нотация KM3 — это простой и нейтральный язык спецификации метамодели.
Сама программа ATL ( здесь T1.atl ) также является моделью, поэтому она соответствует метамодели (метамодели ATL), не представленной здесь.
Программа ATL состоит из заголовка, набора функций без побочных эффектов, называемых помощниками , и набора правил .
Реализации
[ редактировать ]Существует связанный плагин ATL Development Toolkit, доступный в открытом исходном коде. из АТЛ [2] Проект моделирования Eclipse (EMP), реализующий язык преобразования ATL, созданный на основе MOF языка запросов/представлений/преобразований QVT . [3] Доступна большая библиотека преобразований. [4] MOF QVT — это предметно-ориентированный язык для преобразования моделей. Он поддерживает модели, соответствующие Ecore, EMOF, KM3 (специальный доменно-ориентированный язык для спецификации метамодели) и т. д. ATL также работает на MDR/ NetBeans .
См. также
[ редактировать ]- Модельно-ориентированное проектирование (MDE)
- Специализированное моделирование (DSM)
- Язык преобразования моделей (MTL)
- MOF-запросы/представления/преобразования (QVT)
Ссылки
[ редактировать ]- ^ «АТЛ – Скачать» . eclipse.org . Проверено 26 марта 2021 г.
- ^ «ATL | Фонд Eclipse» . www.eclipse.org . Архивировано из оригинала 15 мая 2016 года.
- ^ «ATL — Документация | The Eclipse Foundation» . www.eclipse.org . Архивировано из оригинала 22 ноября 2016 г.
- ^ Аллилер, Фредди. «Преобразования ATL | Фонд Eclipse» . www.eclipse.org . Архивировано из оригинала 22 ноября 2016 г.
- Манифест MDA доступен в журнале MDA Journal.
- Архитектура, управляемая моделями: применение MDA к корпоративным вычислениям , Дэвид С. Франкель , John Wiley & Sons, ISBN 0-471-31920-1 , книга
- Об архитектурном согласовании ATL и QVT. Фредерик Жуо , Иван Куртев : Материалы симпозиума ACM по прикладным вычислениям (SAC 06), Model Transformation Track, Дижон, Бургундия, Франция (апрель 2006 г.), документ в формате pdf .
Дальнейшее чтение
[ редактировать ] | этот « Дальнейшая литература раздел Возможно, » нуждается в очистке . ( декабрь 2018 г. ) |
- Болен, М: QVT и трансформация мультиметамоделей в MDA . Опубликовано в Интернете
- Вагелаар, Д.: Практический пример MDE: использование преобразований моделей для UML и DSL . Опубликовано в Интернете
- Чарнецкий К. и Хелсен С.: Классификация подходов к преобразованию модели. В: Материалы семинара OOPSLA'03 по генеративным методам в контексте архитектуры, управляемой моделями. Анахайм (Калифорния, США). Опубликовано в Интернете
- ModelBaset.net. Инструменты MDA
- SoftwareMag.com. Инструменты МДА . Опубликовано в Интернете
Статьи
[ редактировать ]- Архитектура, управляемая моделями: видение, стандарты и новые технологии на OMG.org
- Введение в модельно-ориентированную архитектуру на IBM.com
- От композиции объектов к преобразованию модели с помощью MDA на OMG.org
- Жуо Ф. и Куртев И.: Об архитектурном согласовании ATL и QVT . В: Материалы симпозиума ACM по прикладным вычислениям (SAC 06), Трансформация модели. Дижон (Бургундия, Франция), апрель 2006 г. Опубликовано в Интернете.
Язык преобразования моделей ATL Atlas
[ редактировать ]- Группа новостей Eclipse/M2M: дискуссионная группа ATL .
- Жуо Ф. и Куртев И.: Об архитектурном согласовании ATL и QVT . В: Материалы симпозиума ACM по прикладным вычислениям (SAC 06), Трансформация модели. Дижон (Бургундия, Франция), апрель 2006 г. Опубликовано в Интернете.
- Eclipse: M2M/ATL является частью нового проекта моделирования верхнего уровня.
UMT Инструмент преобразования модели UML
[ редактировать ]- Грёнмо Р. и Олдевик Дж. Эмпирическое исследование инструмента преобразования модели UML (UMT) . В: INTEROP-ESA'05, февраль 2005 г. Опубликовано в Интернете.
Связанные подходы к разработке на основе моделей
[ редактировать ]- Фёлтер, М.: Разработка программного обеспечения на основе моделей . Опубликовано в Интернете
- Сайт портала MDA и трансформация моделей :
Внешние ссылки
[ редактировать ]
