Данная дипломная работа посвящена исследованию области автоматизированной генерации кода по формальной спецификации для ускорения процесса разработки ПО. Рассмотрены существующие инструменты генерации кода, описана нотация UCM, рассмотрен инструмент UCM TA. Разработан и описан инструмент генерации Java проекта для IDE Eclipse на основе формальных требований, заданных в нотации Use Case Maps - UCM2Java Code Generator. Данный инструмент возможно использовать совместно с рассмотренным UCM TA. Приведены результаты применения инструмента UCM2Java на примере SMTP протокола.

• Реферат
• Содержание
• Определения
• Обозначения и сокращения
• Введение
• 1 Обзор литературы
  • 1.1 Описание формата UCM
  • 1.2 Способы генерации кода
  • 1.3 Инструменты генерации кода
    • 1.3.1 UML to Java Generator
    • 1.3.2 Dia2Code
    • 1.3.3 Telosys Tools
    • 1.3.4 Java Code Generation for Papyrus
    • 1.3.5 RT-TROOP
  • 1.4 Обзор цепочки TAT
  • 1.5 Постановка задачи
• 2 Концепции генерации кода
  • 2.1 Обзор элементов и компонент UCM
    • 2.1.1 Компоненты
    • 2.1.2 Элементы пути
  • 2.2 Формализация элементов
    • 2.2.1 Описание простого поведения
      • 2.2.1.1 Компонента Team
      • 2.2.1.2 Элемент StartPoint
      • 2.2.1.3 Элемент EndPoint
      • 2.2.1.4 Элемент Responsibility
      • 2.2.1.5 Элемент EmptyPoint
      • 2.2.1.6 Элемент Direction Arrow
    • 2.2.2 Описание вложенности
      • 2.2.2.1 Элемент Stub
    • 2.2.3 Описание альтернатив поведения
      • 2.2.3.1 Элемент OrFork
      • 2.2.3.2 Элемент OrJoin
      • 2.2.3.3 Проблемы отображения OrFork/OrJoin
    • 2.2.4 Описание других компонент и элементов
  • 2.3 Взаимодействие компонет
    • 2.3.1 Использование метаданных
    • 2.3.2 Пример взаимодействия компонент
• 3 Реализация инструмента UCM2Java
  • 3.1 Выбор языка программирования
  • 3.2 Архитектура расширяемых модулей для Eclipse
  • 3.3 Краткий обзор характеристик UCM2Java
  • 3.4 UCM2Java как плагин для IDE Eclipse
    • 3.4.1 Управление компонентами
    • 3.4.2 Точки расширения
  • 3.5 Способ обработки ЦОГ в UCM2Java
    • 3.5.1 Обработка элемента UCM
    • 3.5.2 Обработка линейного пути
    • 3.5.3 Обработка ветвления
    • 3.5.4 Обработка цикла
    • 3.5.5 Обработка элемента Stub
• 4 Результаты применения инструмента UCM2Java
  • 4.1 Описание тестовых диаграмм
  • 4.2 Порядок действий пользователя
  • 4.3 Пример использования
• Заключение
• Список литературы