Язык преобразования модели в системах и программной инженерии является языком , предназначенным специально для трансформации модели .
Обзор
Идея трансформации модели занимает центральное место в разработке, управляемой моделями . Преобразование модели, которое по сути представляет собой программу, которая работает с моделями, может быть написано на языке программирования общего назначения, таком как Java . Однако языки преобразования моделей специального назначения могут предложить преимущества, например синтаксис, упрощающий обращение к элементам модели. Для написания преобразований двунаправленных моделей, которые поддерживают согласованность между двумя или более моделями, особенно важен специальный язык преобразования двунаправленных моделей, поскольку он может помочь избежать дублирования, которое может возникнуть в результате написания каждого направления преобразования отдельно.
В настоящее время большинство языков преобразования моделей разрабатываются в академических кругах. OMG стандартизировало семейство языков трансформации модели под названием QVT , но поле еще незрелый. [1]
Доступные языки трансформации
- ATL : язык преобразования, разработанный INRIA
- Beanbag (см. [1] ): язык, основанный на операциях, для постепенного установления согласованности данных.
- GReAT : язык трансформации, доступный в GME
- Семейство Epsilon (см. [2] ): платформа управления моделями, которая предоставляет языки преобразования для преобразований модели в модель, модели в текст, обновления на месте, миграции и объединения моделей.
- F-Alloy [3] : DSL, повторно использующий часть синтаксиса Alloy и позволяющий краткую спецификацию эффективно вычислимых преобразований модели.
- Henshin (см. [4] ): язык преобразования модели для EMF , основанный на концепциях преобразования графов , обеспечивающий возможности исследования пространства состояний.
- JTL : язык преобразования двунаправленных моделей, специально разработанный для поддержки небиективных преобразований и распространения изменений (см. [5] ).
- Kermeta : язык моделирования и программирования общего назначения, также способный выполнять преобразования.
- Семейство Lx (см. [6] ): набор низкоуровневых языков преобразования.
- M2M - это реализация Eclipse стандарта OMG QVT
- Mia-TL: язык преобразования, разработанный Mia-Software
- Модель MOF в язык преобразования текста : OMG определила стандарт для выражения преобразований M2T
- MOLA (см. [7] ): графический язык преобразования высокого уровня, встроенный в Lx.
- MT: язык трансформации, разработанный в Королевском колледже в Лондоне (Великобритания) (на основе Converge PL )
- QVT : OMG определила стандарт для выражения преобразований M2M, который называется MOF / QVT или сокращенно QVT.
- SiTra [8] : прагматический подход к преобразованию, основанный на использовании стандартного языка программирования, например Java, C #.
- Stratego / XT : язык трансформации, основанный на переписывании с помощью программируемых стратегий
- Tefkat : язык трансформации и механизм трансформации моделей
- Том : язык, основанный на исчислении переписывания, с сопоставлением с образцом и стратегиями
- UML-RSDS [9] : трансформация модели и подход MDD с использованием UML и OCL.
- VIATRA : основа для среды верификации и валидации на основе преобразований
Смотрите также
Рекомендации
дальнейшее чтение
- Журнал MDA: Архитектура, управляемая моделями, от мастеров
- Архитектура, управляемая моделями: применение MDA к корпоративным вычислениям , Дэвид С. Франкель , John Wiley & Sons, ISBN 0-471-31920-1
- Руководство OMG MDA Руководство MDA Версия 1.0.1
- Модельно-ориентированная архитектура: видение, стандарты и новые технологии на сайте omg.org
- Введение в модельно-управляемую архитектуру на ibm.com
- От композиции объекта к преобразованию модели с помощью MDA на сайте omg.org
- Менс, Т., и Ван Горп, П.: Таксономия преобразования модели , Электронные заметки по теоретической информатике, том 152, 27 марта 2006 г., страницы 125-142
- Чарнецки К., Хелсен С. Классификация подходов к преобразованию моделей. В: Материалы семинара OOPSLA'03 по методам генерации в контексте модельно-управляемой архитектуры, Анахайм, Калифорния, США. Опубликован в Интернете.
- Гронмо, Р., и Олдевик, Дж .: Эмпирическое исследование инструмента преобразования модели UML (UMT). [10]