КВТ
QVT ( Query/View/Transformation ) — стандартный набор языков для преобразования моделей , определенный Группой управления объектами . [1]
Обзор [ править ]
Преобразование модели — ключевой метод, используемый в архитектуре, управляемой моделями . Как видно из названия QVT, стандарт OMG охватывает преобразования, представления и запросы вместе. Запросы модели и представления модели можно рассматривать как особые виды преобразования модели, при условии, что мы используем достаточно широкое определение преобразования модели: преобразование модели — это программа, которая работает с моделями.
Стандарт QVT определяет три языка преобразования моделей. Все они работают на моделях, соответствующих метамоделям Meta-Object Facility (MOF) 2.0; трансформация определяет, какие метамодели используются. Преобразование в любом из трех языков QVT само по себе можно рассматривать как модель, соответствующую одной из метамоделей, указанных в стандарте. Стандарт QVT объединяет стандарт OCL 2.0, а также расширяет его обязательными функциями.
- QVT-Operational — императивный язык, предназначенный для написания однонаправленных преобразований.
- QVT-Relations — это декларативный язык, предназначенный для записи как однонаправленных, так и двунаправленных преобразований модели. Преобразование воплощает отношение согласованности в наборах моделей. Согласованность можно проверить, выполнив преобразование в режиме «только проверка»; преобразование затем возвращает True, если набор моделей согласован в соответствии с преобразованием, и False в противном случае. То же преобразование можно использовать в режиме принудительного применения, чтобы попытаться изменить одну из моделей так, чтобы набор моделей был согласованным. Язык QVT-Relations имеет как текстовый, так и графический конкретный синтаксис.
- QVT-Core — это декларативный язык, спроектированный так, чтобы быть простым и выступать в качестве цели перевода из QVT-Relations. Однако QVT-Core никогда не имел полной реализации и на самом деле он не так выразителен, как QVT-Relations. [2] Следовательно, изображенная выше архитектура QVT вводит в заблуждение: преобразование от QVT-отношений к QVT-ядру, указанное в стандарте QVT, не сохраняет семантику.
Наконец, QVT-BlackBox — это механизм вызова средств преобразования, выраженных на других языках (например, XSLT или XQuery ).
Хотя QVT имеет широкую область применения, он не охватывает все, что считается преобразованием модели, представлением или запросом. Например, языки QVT не допускают преобразований в текстовые модели или обратно, поскольку каждая модель должна соответствовать некоторой метамодели MOF 2.0. Преобразования модели в текст отдельно стандартизируются OMG (см. MOFM2T ).
История [ править ]
В 2002 году OMG опубликовала запрос предложений (RFP) по запросу/представлению/преобразованию MOF с целью поиска стандарта, совместимого с набором рекомендаций архитектуры, управляемой моделью (MDA) (UML, MOF, OCL и т. д.).
Несколько ответов было дано рядом компаний и исследовательских институтов, которые в течение трех лет разработали общее предложение, основанное на проекте британского исследователя доктора Лоуренса Тратта. Первая версия была представлена и утверждена в 2005 году. [3] Версия QVT 1.1 была выпущена в январе 2011 года. [1]
Реализации [ править ]
QVT-Оперативный:
- Borland Together содержит реализацию QVT Operational, которая была предоставлена [4] в Eclipse Foundation и в настоящее время разрабатывается как проект Eclipse M2M Operational QVT.
- Eclipse M2M Operational QVT: официальная реализация QVT Operational с открытым исходным кодом в Eclipse. [5]
- MagicDraw имеет плагин QVT, который использует реализацию Operational QVT, предоставленную проектом Eclipse M2M .
- SmartQVT : реализация Eclipse с открытым исходным кодом (Orange Labs) языка QVT-Operational.
QVT-ядро:
- OptimalJ : Ранняя реализация языка QVT-Core была в OptimalJ версии 3.4 от Compuware . Однако выпуск OptimalJ был прекращен.
QVT-отношения:
- ModelMorf: собственный инструмент от Tata Consultancy Services Ltd. Полностью совместим с языком QVT-Relations. Пробная версия [6] предоставляет утилиту командной строки, которая принимает и создает модели в форме XMI. Полноценная версия с интегрированным репозиторием доступна как часть их собственной среды моделирования. [7]
- МединиQVT: [8] Механизм преобразования на основе EMF с лицензией EPL на движок и некоммерческой лицензией на редактор/отладчик. Использует синтаксис QVT-Relations, но намеренно отклоняется от семантики стандарта OMG. [9]
- Проект Eclipse M2M направлен на реализацию QVT Core and Relations. [5]
- Эхо, [10] инструмент с открытым исходным кодом на основе EMF для восстановления и преобразования моделей, построенный на основе средства поиска моделей Alloy , который обеспечивает реализацию синтаксиса QVT-Relations, но использует семантику, которая намеренно отклоняется от спецификации OMG.
QVT-подобный:
- jQVT: [11] Скомпилированный движок QVT для Java, использующий Xbase вместо OCL. Реляционное преобразование QVT сначала компилируется в исходный код Java, который затем непосредственно создает целевую модель из исходных моделей во время выполнения, без повторной интерпретации правила преобразования. Он поддерживает модели EMF, а также простые объекты Java.
- Tefkat : реализация языка Tefkat с открытым исходным кодом, которая также похожа на QVT. Открытый источник.
- ATL : компонент проекта M2M Eclipse. ATL — это QVT-подобный язык и механизм преобразований с большим сообществом пользователей и библиотекой преобразований с открытым исходным кодом.
- Структура трансформации модели (MTF): [12] проект IBM AlphaWorks , последний раз обновлявшийся в 2007 году.
См. также [ править ]
- Список доступных языков трансформации
- Язык преобразования модели MOF в текст — спецификация языка преобразования OMG для выражения преобразований M2T.
- Модельно-ориентированное проектирование (MDE)
- Архитектура, управляемая моделями (MDA): видение MDE от OMG
- Доменно-ориентированный язык (DSL)
- Meta-Object Facility (MOF): язык для написания метамоделей.
- Язык ограничений объектов (OCL): язык ограничений модели (и запросов).
- Трансформация модели
- Язык преобразования модели
- Метамодель
Ссылки [ править ]
- ^ Перейти обратно: а б Баст, Вим; Мерфри, Майкл; Лоули, Майкл; Дадди, Кейт; Белаунде, Мариано; Гриффин, Кэтрин; Сендалл, Шейн; Войтисек, Дидье; Сталь, Джим; Хелсен, Саймон; Тратт, Лоуренс; Редди, Сридхар; Венкатеш, Р.; Блан, Ксавье; Дворжак, Радек; Виллинк, Эд (январь 2011 г.). «Средство метаобъектов (MOF) 2.0 Запрос/Просмотр/Преобразование (QVT)» (pdf) . Группа управления объектами . Проверено 9 мая 2011 г.
- ^ Стивенс, Пердита (2011). «Простой теоретико-игровой подход для проверки только отношений QVT». Программное обеспечение и моделирование систем . 12 . Берлин / Гейдельберг: Springer : 175–199. дои : 10.1007/s10270-011-0198-8 . hdl : 20.500.11820/58a19b4d-3782-4081-ad75-175c4626a62e .
- ^ Баст, Вим; Мерфри, Майкл; Лоули, Майкл; Дадди, Кейт; Белаунде, Мариано; Гриффин, Кэтрин; Сендалл, Шейн; Войтисек, Дидье; Сталь, Джим; Хелсен, Саймон; Тратт, Лоуренс; Редди, Сридхар; Венкатеш, Р.; Блан, Ксавье; Дворжак, Радек; Виллинк, Эд. «Средство метаобъектов (MOF) 2.0 Запрос/Просмотр/Преобразование (QVT)» (pdf) . Группа управления объектами . Проверено 1 ноября 2013 г.
- ^ [m2m-dev] Вклад Borland QVT. Архивировано 25 февраля 2012 г. на Wayback Machine .
- ^ Перейти обратно: а б Проект Eclipse M2M. «От модели к модели (М2М)» . Архивировано из оригинала 3 декабря 2012 г. Проверено 9 мая 2011 г. . Проверено 9 мая 2011 г.
- ^ Бета-версия ModelMorf. «Регистрационная форма ModelMorf» . Архивировано из оригинала 23 марта 2012 года . Проверено 9 мая 2011 г. . Проверено 9 мая 2011 г.
- ^ Платформа генератора кода TCS (ранее известная как MasterCraft). «Среда генератора кода TCS: Технологические продукты TCS: Предложения: TCS» . Архивировано из оригинала 9 августа 2011 года . Проверено 9 мая 2011 г. . Проверено 9 мая 2011 г.
- ^ Медини QVT. «Медини QVT» . Архивировано из оригинала 29 июля 2016 г. Проверено 13 августа 2009 г. . Проверено 9 мая 2011 г.
- ^ Кигеланд, Дж.; Эйхлер, Х. (февраль 2008 г.), «Семинар medini QVT», Семинар medini QVT (стр. ) , Энсхеде, Telematica Instituut: ikv++ Technologies ag , получено 24 сентября 2015 г.
- ^ Эхо. [1] Проверено 2 ноября 2013 г.
- ^ jQVT. «Загрузка JQVT | SourceForge.net» . Архивировано из оригинала 07 марта 2016 г. Проверено 10 ноября 2012 г.
- ^ Структура трансформации модели. http://www.alphaworks.ibm.com/tech/mtf . Проверено 9 мая 2011 г.