Главная страница « Научно-исследовательский семинар «

Доклад посвящён задаче описания и выполнения автоматических трансформаций моделей ПО, а так же возможности применения таких трансформаций при использовании модельно-ориентированного подхода к разработке ПО (Model Driven Architecture, MDA). Под трансформацией моделей понимается внесение изменений или построение новых моделей на основе существующих моделей и формализованного описания трансформации.

В докладе рассматривается разработанный автором язык трансформации моделей. Описание трансформации на этом языке задаётся декларативно, в виде совокупности правил, каждое из которых описывает преобразования определённого элемента или группы элементов модели. Такой подход позволяет описывать отображения моделей наиболее естественным и интуитивно понятным образом, а так же с лёгкостью вносить дополнения и изменения в отображения. При разработке языка трансформации учитывались специфические особенности его применения в MDA.

В рамках рассматриваемой работы получены следующие основные результаты:

• сформулированы критерии, которым должен удовлетворять язык трансформации для того, чтобы его можно было эффективно использовать в рамках MDA;
  

• разработан язык, позволяющий задавать описания трансформаций моделей ПО;
  

• показано, что этот язык удовлетворяет сформулированным критериям, доказана его полнота;
  

• создан прототип инструмента, позволяющего выполнять автоматические трансформации моделей по описаниям на предложенном языке;
  

• предложены примеры описаний трансформаций для типичных задач, возникающих при использовании MDA.

Приглашаются аспиранты и стажеры программистских кафедр.