Концептуальное моделирование согласованности и синтез программной документации

• Автор: Бураков, Вадим Витальевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2002
• Место защиты: Санкт-Петербург
• Количество страниц: 209 с. : ил

ОГЛАВЛЕНИЕ

1. АВТОМАТИЗАЦИЯ ПРОЦЕССОВ ДОКУМЕНТИРОВАНИЯ ПО

1. . Общие принципы документирования ПО

1.2. Жизненный цикл разработки проектной документации.

1.3. Основные характеристики проектной документации.

1.4. Общие требования к системе автоматизации документирования ПО

1.5. Обзор существующих подходов

1.6. Общее описание подхода к автоматизации документирования

1.7. Перечень задач автоматизации документирования 1Ю.

2. I 1ЦЕПТУАЛЫIАЯ МОДЕЛЬ ДОКУМЕНТА

2.1. Общие положения

2.2. Формализация модели документа
2.3. Ограничения
2.4. Мета модель документа
2.5. Выводы.
3. ОТОБРАЖЕНИЕ МОДЕЛИ ДОКУМЕНТА НА И ДОКУМЕНТЫ СОГЛАСОВАННОСТИ
3.1. Общие положения
3.2. Трансляция модели документа в
3.3. Свойства концептуальной модели документа.
3.4. Алгоритм трансляции модели документа в .
3.5. Трансляция в модель документа
3.6. Реализация управления согласованностью документации
3.7. Выводы.
4. СИНТЕЗ ПРОЕКТНЫХ ДОКУМЕНТОВ
4.1. Примитивные преобразования.
4.2. Комплексные преобразования.
4.3. Генерация X на базе преобразований модели документации
4.4. Поглощение примитивных преобразований
4.5. Выводы
5. РАСШИРЕНИЯ КОН ЕПТУАЛЬНОЙ МОДЕЛИ ДОКУМЕНТА ДЛЯ МОДЕЛИРОВАНИЯ X
5.1. Расширения модели документа.
5.2. Ограничения модели
5.3. Отображение модели документа на X
5.4. Выводы
6. АВТОМАТИЗАЦИЯ РАЗРАБОТКИ РЕПОЗИТОРИЯ ПРОЕКТНОЙ ДОКУМЕНТАЦИИ
6.1. Различие концепций X и реляционных БД.
6.2. Базовые виды отображений
6.3. Определение целесообразных видов отображений
6.4. Отображение модели документа на БД схему
6.5. Выводы
7. АРХИТЕКТУРА И ПРИМЕРЫ ПРИМЕНЕНИЯ СИСТЕМЫ АВТОМАТИЗАЦИИ ПРОЦЕССОВ ДОКУМЕНТИРОВАНИЯ ПО.
7.1. Оценка сложности модели документа.
7.2. Ограничения метода авгоматизации процессов документирования 0.
7.3. Архитекту ра прототипа системы автоматизации процессов документирования ПО
7.4. Особенности реализации прототипа
7.5. Описание функциональных свойств прототипа.
7.6. Анализ результатов внедрения прототипа
7.7. Эффективность использования системы автоматизации процессов документирования.
7.8. Выводы
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
ПРИЛОЖЕНИЕ.
ПРИЛОЖЕНИЕ 2.
ВВЕДЕНИЕ
Актуальность


Документы данного типа предназначены для описания обоснования выбранных проектных решений из ряда альтернативных. Общесистемные характеристики и ограничения. Документы данною типа описывают общие характеристики и ограничения, которые напрямую не относятся к той или иной проектной сущности, структуре или взаимодействию. Совокупность документов данных типов образует проектную документацию на ПО, причем конкретный состав документов, как правило, зависит от выбранного стандарта на проектную документацию и особенностей конкретного проекта [9|. Любой стандарт определяют в общем случае два показателя: предмет стандартизации и организация ее осуществляющая. От этих показателей зависит уровень детализации содержащихся требований и уровень обязательности для организаций разного типа. С показателем степени абстракции/детализации связан также достаточно важный показатель вариативности/адаптируемости. Снекгр существующих стандартов представлен в табл. Таблица 1. Г осударствсниый Средний уровень абстракции/адаптируемости ГОСЛ [], 1IL-STD-8 []. Каждый из стандартов специфицирует множество требований к проектной документации, которое состоит из трех подмножеств: требования к содержанию, требования к структуре и требования к оформлению документов. Различные группы стандартов, представленные в табл. Процесс разработки проектной документации, согласно основным стандартам на жизненный цикл программных систем (см. ПО. Основные действия данного процесса определяются следующим образом (табл. Таблица 2. Качество проектной документации ПО зависит от различных показателей. В рамках задачи автоматизации документирования целесообразно выработать методики улучшения данных показателей. Показатели отсутствия избыточности и автономности напрямую зависят от структуры документации. С помощью моделирования можно разработать структуру документации. Разработчики документации должны иметь возможность моделирования различных вариантов структуры документации для выбора лучшей в рамках указанных свойств. Показатель согласованности отражает отношения артефактов разного уровня. Во-первых. Улучшение этой составляющей показателя согласованности достигается посредством использования средств импорта моделей ПО в среду документирования []. Во-вторых, показатель согласованности зависит от отношения самих элементов документации между собой артефакты. Улучшение этой составляющей можно достичь благодаря моделированию отношений семантической зависимости между элементами проектных документов и средствами контроля этих отношений. Показатель модифицируемое! Улучшение данного показателя может быть достигнуто благодаря автоматизированному получению структуры физического представления документации на основе ее логической модели и импорта проектных моделей в среду документирования. На современном рынке ПО представлен лишь один коммерческий продукт - Rational SoDA (Software Documentation Automation), предназначенный для документирования. В то же время, практически любое CASE-средство содержи! В силу локальности такого, встроенного в CASE, средства документирования, данный класс систем не рассматривается. Вместе с тем, задача автоматизации документирования является частным случаем задачи управления слабоструктурированными данными. Средство Rational SoDA (Software Documentation Automation) for Word является коммерческим продуктом Rational Software Corporation и предназначено для автоматизации генерации проектной документации на базе редактора Microsoft Word (J. M1E-STD-8 и др. SoDA осуществляет выборку информации с помощью специальных программ, настроенных на типы информационных ресурсов, называемых доменами. Каждый домен соответствует некоторому типу информационного ресурса (например, Rational Rose или файловая система). Каждый домен хранит информацию в терминах классов, атрибутов и отношений о том, какого типа данные хранятся в связанном с доменом ресурсе и как этот ресурс моделирует данные. REPEAT command), имеющий несколько уровней вложения, или произвести реструктуризацию этих уровней, необходимо вручную редактировать автоматически генерируемый шаблон, что веде!