Содержание
Глава 1. Введение.
1.1 Обзор содержания работы.
1.2 Основы модельноориентированного подхода к разработке программного обеспечения.
1.2.1 Проблемы и задачи, которые решает .
1.2.2 Процесс разработки программного обеспечения по методике .
1.2.3 Преимущества использования методики
1.2.4 Роль автоматизированной трансформации моделей в
1.3 Задача автоматизированной трансформации моделей
1.3.1 Описание трансформации и инструмент трансформации
1.3.2 Требования к средству трансформации для его использования в
Глава 2. Обзор основных стандартов и работ, относящихся к трансформации моделей
2.1 Стандарты, связанные с моделированием на .
2.1.1 Язык моделирования .
2.1.2 Мстамоделирование и стандарт МОР.
2.1.3 Язык объектных ограничений i
2.2 Основные подходы к трансформации моделей.
2.2.1 Трансформация, встроенная в инструмент.
2.2.2 Использование языков общего назначения.
2.2.3 Использование механизмов трансформации из других областей
2.2.4 Использование технологий работы с X
2.2.5 Трансформация с помощью как универсального языка.
2.2.6 Использование специализированного языка трансформации
2.3 Обзор работ в области трансформации моделей
2.3.1 МОР запросы, представления, трансформации.
2.3.2 Трансформация недостающее звено .
2.3.3 Классификация подходов к трансформации моделей.
2.3.4 Декларативная трансформация объектноориентированных моделей.
2.3.5 Спецификация трансформаций модели на уровне метамоделн.
2.3.6 Трансляция моделей.
2.3.7 Сравнение двух подходов к трансформации моделей
Глава 3. Язык трансформации моделей
3.1. Представление моделей и метамоделей.
3.2. Основы языка трансформации
3.2.1 Язык запросов к модели.
3.2.2 Правило трансформации
3.2.3 Блок и описание трансформации
3.2.4 Выполнение трансформации.
3.2.5 Генерация и трансформация нескольких моделей.
3.3. Трансформационные связи.
3.4. Полнота языка трансформации.
3.4.1 Математическая полнота языка трансформации.
3.4.2 Алгоритмическая полнота языка трансформации
3.5. Расширенные возможности языка
3.5.1 Уточнение правил
3.5.2 Несущественные и симметричные переменные выборки
3.5.3 Оператор печати.
3.5.4 Оператор завершения блока и трансформации.
3.4.5 Условный оператор.
3.4.6 Доступ к текущему экземпляру трансформационной связи
3.4.7 Нумерация применения правил.
Глава 4. Практическая реализация трансформаций для различных платформ, особенности инструмента трансформации.
4.1. Пример перехода от платформонсзависимой модели классов ЛУЬ к модели, предназначенной для реализации на платформе СОКВА.
4.1.1 Описание трансформации для перехода от иМЬмодели классов к модели, предназначенной для реализации на платформе СОЯВА.
4.1.2 Наследование реализации в СОЯВЛсистеме и необходимая для этого трансформация моделей
4.2. Преобразование ЦМЬмодсли классов в реляционную модель
4.3. Использование правил трансформации для контроля инвариантов мстамодели.
4.4. Особенности практической реализации инструмента трансформации
4.4.1 Вычисление запросов к модели и секция выборки
4.4.2 Применение правила и секция генерации
4.4.3 Ввод описания трансформации
4.4.4 Вводвывод моделей.
Глава 5. Заключение
5.1. Результаты работы.
5.2. Перспективы дальнейшей работы.
Список литературы
- Київ+380960830922