Трансформация программных моделей и ее применение в технологии MDA

• Автор: Кузнецов, Михаил Борисович
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2005
• Место защиты: Москва
• Количество страниц: 136 с. : ил.

Содержание

Глава 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. Перспективы дальнейшей работы.
Список литературы


При разработке программного обеспечения по технологии используется набор стадий, сходный с другими распространнными подходами к разработке, такими как, например, методика i ii . В этом смысле является эволюционным развитием существующих методик. Новизна подхода заключается в результатах стадий анализа и проектирования, а именно в представлении системы с помощью двух моделей, создающихся на разных стадиях. Рис. В основе лежат понятия платформонезависимой и платформозависимой моделей i и ii , I и 3. В процессе разработки системы сначала создатся Р1М программная модель, содержащая бизнеслогику системы без конкретных деталей е реализации, относящихся к какой либо технологической платформе. Принципиальным является именно тот факт, что на этапе создания этой модели не принимается никаких решений по поводу е реализации, разрабатываемый программный продукт не привязывается к технологиям. На этом этапе в модель закладывается бизнеслогика, сценарии использования, функциональные требования и другая информация о взаимодействии системы с пользователем и о желаемом поведении системы. При использовании рекомендуется доводить платформонезависимую модель но достаточно высокой степени детализации, вплоть до использования высокоуровневого платформонезависимого языка программирования для описания функциональности и создания исполняемой модели. Заметим, что даже если I доводится до стадии детальной исполняемой модели, е вряд ли можно использовать на практике как финальный программный продукт. Такая модель может быть крайне неэффективной при выполнении, не удовлетворять некоторым функциональным требованиям, не полностью реализовывать функциональность системы и даже требовать участия человека в процессе исполнения. Только после привязывания к конкретной платформе можно получить программный код промышленного качества. Фактически, появляется возможность получить первый прототип системы ещ до начала стадии кодирования, когда сравнительно легко вносить даже существенные изменения в систему, в том числе производить изменения требований и технического задания. Итак, результатом первого этапа разработки по технологии является платформонезависимая модель, заданная с помощью некоторого формального языка моделирования. Завершнная платформонезависимая модель содержит полное описание системы, но свободна от деталей, относящихся к реализации и используемым технологиям. После того, как Р1М в достаточной степени детализирована, выполняется переход к платформозависимой модели. Эга модель описывает уже не только функциональность системы, ио и с реализацию с использованием конкретной выбранной для данного проекта технологической платформы. Происходит дальнейшая детализация модели и добавление элементов и конструкций, специфичных для выбранной технологии реализации. После того, как модель достаточно разработана, выполняется генерация кода ио модели, затем производится доработка этого кода и его компиляция, так же, как и в традиционных методиках разработки программного обеспечения. Разумеется, реально процесс разработки не столь линеен. Для сложного проекта практически невозможно сразу создать платформонезависимую модель, которая бы не потребовала изменений на более поздних стадиях. В процессе разработки платформозависимой модели и даже при написании кода может возникнуть необходимость в изменении любой из моделей. Это вполне допускается технологическим процессом , однако необходимо следить, чтобы сохранялось соответствие между моделями изменения в одной должны быть отображены на другие. Таким образом, при использовании технологии одновременно разрабатываются и изменяются сразу три модели РМ, и код, представляющие разрабатываемую систему с разных точек зрения и с различными уровнями детализации. В принципе, идея, положенная в основу , не зависит от инструментов и языка моделирования. По поскольку эта технология создана консорциумом , который занимается, помимо прочего, развитием языка моделирования ii i 4,5, предполагается, что именно этот язык будет использоваться для описания моделей при разработке программного обеспечения по технологии .