Детальная информация

Данная дипломная работа посвящена исследованию области автоматизированной генерации кода по формальной спецификации для ускорения процесса разработки ПО. Рассмотрены существующие инструменты генерации кода, описана нотация 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 Пример использования
• Заключение
• Список литературы