Введение
1.1 Обзор содержания работы 5
1.2 Основы модельно-ориентированного подхода к разработке программного обеспечения 8
1.2.1 Проблемы и задачи, которые решает MDA 8
1.2.2 Процесс разработки программного обеспечения по методике MDA 9
1.2.3 Преимущества использования методики MDA 12
1.2.4 Роль автоматизированной трансформации моделей в MDA 12
1.3 Задача автоматизированной трансформации моделей 14
1.3.1 Описание трансформации и инструмент трансформации 14
1.3.2 Требования к средству трансформации для его использования в MDA 16
Глава 2. Обзор основных стандартов и работ, относящихся к трансформации моделей. 19
2.1 Стандарты, связанные с моделированием на UML 19
2.1.1 Язык моделирования UML 19
2.1.2 Метамоделирование и стандарт MOF 23
2.1.3 Язык объектных ограничений Object Constraint Language 26
2.2 Основные подходы к трансформации моделей 33
2.2.1 Трансформация, встроенная в инструмент 33
2.2.2 Использование языков общего назначения 34
2.2.3 Использование механизмов трансформации из других областей 35
2.2.4 Использование технологий работы с XML 35
2.2.5 Трансформация с помощью UML как универсального языка 36
2.2.6 Использование специализированного языка трансформации 37
2.3 Обзор работ в области трансформации моделей 37
2.3.1 MOF: запросы, представления, трансформации 37
2.3.2 Трансформация: недостающее звено MDA 40
2.3.3 Классификация подходов к трансформации моделей 41
2.3.4 Декларативная трансформация объектно-ориентированных моделей 42
2.3.5 Спецификация трансформаций модели на уровне метамодели 44
2.3.6 Трансляция моделей 45
2.3.7 Сравнение двух подходов к трансформации моделей 46
Глава 3. Язык трансформации моделей 49
3.1. Представление моделей и метамоделей 49
3.2. Основы языка трансформации 53
3.2.1 Язык запросов к модели 53
3.2.2 Правило трансформации 58
3.2.3 Блок и описание трансформации 61
3.2.4 Выполнение трансформации 63
3.2.5 Генерация и трансформация нескольких моделей 66
3.3. Трансформационные связи 68
3.4. Полнота языка трансформации 71
3.4.1 Математическая полнота языка трансформации 72
3.4.2 Алгоритмическая полнота языка трансформации 77
3.5. Расширенные возможности языка 86
3.5.1 Уточнение правил 86
3.5.2 Несущественные и симметричные переменные выборки 88
3.5.3 Оператор печати 90
3.5.4 Оператор завершения блока и трансформации 91
3.4.1 Условный оператор 92
3.4.2 Доступ к текущему экземпляру трансформационной связи 93
3.4.3 Нумерация применения правил 94
Глава 4. Практическая реализация трансформаций для различных платформ, особенности инструмента трансформации 96
4.1. Пример перехода от платформо-иезависимой модели классов UML к модели,
предназначенной для реализации на платформе CORBA 96
4.1.1 Описание трансформации для перехода от UML-модели классов к модели, предназначенной для реализации на платформе CORBA 98
4.1.2 Наследование реализации в CORBA-системе и необходимая для этого трансформация моделей 104
4.2. Преобразование UML-модели классов в реляционную модель 107
4.3. Использование правил трансформации для контроля инвариантов мстамодсли 112
4.4. Особенности практической реализации инструмента трансформации 117
4.4.1 Вычисление запросов к модели и секция выборки 118
4.4.2 Применение правила и секция генерации 122
4.4.3 Ввод описания трансформации 122
4.4.4 Ввод/вывод моделей 123
Глава 5. Заключение 125
5.1. Результаты работы 125
5.2. Перспективы дальнейшей работы 126
Список литературы
