Создание методики и прототипа инструментальной системы автоматизации проектирования проблемно-ориентированных систем обработки информации

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

Оглавление
Введение 7.
Основные определения 11.
Глава 1. Обзор литературы по методам и инструментальным системам разработки 13.
1.1. Структура и задачи главы 13.
1.2. Структурное программирование 13.
1.3. Модульное программирование 15.
1.4. Объектно-ориентированное программирование 16.
1.4.1. Объектно-ориентированные языки 18.
1.4.2. Ограничения объектно-ориентированного подхода 20.
1.5. Компонентное программирование 21.
1.5.1. СОГВА 23.
1.5.1.1. Язык определения интерфейсов 23.
1.5.1.2. Хранилище интерфейсов 24.
1.5.1.3. Хранилище реализаций
1.5.2. БОМ/БЗОМ 24.
1.5.3. Технология СОМ 25.
1.5.4. JavaBeans 25.
1.6. Сборочная технология программирования 26.
1.6.1. Анализ требований 27.
1.6.2. Разработка спецификаций 27.
1.6.3. Разработка модулей и сборка системы 31.
1.6.4. Метрики программной системы 33.
1.6.4.1. Модель проекта 33.
1.6.4.2. Нормы макроуровня 35.
1.6.4.3. Нормы микроуровня 36.
1.7. Инструментальные системы поддержки разработки 38.
1.7.1. Формальное направление 38.
1.7.2. Прагматическое направление 39.

1.7.3. CASE-технология 40.
1.7.3.1. Общие понятия 40.
1.7.3.2. Структура CASE-систем 41.
1.7.3.3. Классификация CASE-систем 41.
1.7.3.4. Обзор CASE-систем 43.
1.7.4. RAD-системы 45.
1.7.4.1. Visual Age 46.
1.7. 4.2. Microsoft Visual Studio 47.
1.7.4.3. Delphi 48.
1.7.4. 4. Общие свойства существующих RAD-систем 49.
1.8. Выводы 50.
Глава 2. Модель сборочной технологии компонентного программирования 52.
2.1. Структура и задачи главы 52.
2.2. Модель активного модуля сборочной технологии 52.
2.2.1. Модуль "один вход - один выход" 53.
2.2.2. Модуль "один вход - много выходов" 54.
2.2.2.1. ДСП-алгебра 58.
2.2.2.2. Определение оператора 59.
2.2.2.3. Аксиомы фундаментальности оператора 59.
2.2.2.4. Экспликатор многовыходных модулей 60.
2.3. Композиция модулей 62.
2.3.1. Композиция операторов 63.
2.3.2. Циклирование оператора 64.
2.3.3. Операция прополки многовыходного модуля 67.
2.4. Многовходной модуль 68.
2.5. Композиция многовходных модулей 70.
2.6. Выводы 7 0.
Глава 3. Методика автоматизации проектирования программных проектов по визуальной компонентной технологии 72.
3.1. Структура и задачи главы 72.

3.2. Основные определения 72.
3.3. Методика визуального проектирования 73.
3.3.1. Пункты методики проектирования 73.
3.3.2. Разработка спецификаций 74.
3.3.3. Реализация модулей 7 5.
3.3.4. Сборка программной системы 7 6.
3.3.5. Оценка характеристик программной системы 77.
3.3.6. Требования к разработчику 78.
3.4. Свойства методики проектирования 80.
3.4.1. Использование алгебры сборки 80.
3.4.2. Применение визуальной техники 81.
3.4.3. Переиспользование компонент 81.
3.5. Принципы построения инструментальной системы 83.
3.5.1. Терминология 83.
3.5.2. Компонента сборки 84.
3.5.2.1. Базовый класс 86.
3.5.2.2. Составной класс 89.
3.5.2.3. Интерфейс 90.
3.5.2. 4. Методы класса 90.
3.5.2.5. Поля класса 91.
3.5.2.6. Графическое представление 91.
3.5 .2.7. Текстовое описание 92.
3.5.3. Библиотека информационных объектов 92.
3.5.3.1. Библиотека 93.
3.5.3.2. Папка 94.
3.5.3.3. Ссылка 94.
3.5. 3.4. Устройство 95.
3.5.3.5. Типы объектов 95.
3.5.4. Навигатор 96.
3.5.4.1. Операции над объектами 97.

поставленная в соответствие каждому пакету Бj:
Бос(Б3) = (Ап(Б-)),Зр(Б,15Г(Бз),Сп5(Б;]),Вс1(Б,Тз5(Бз))/ где Ап - текст аннотации, неформального описания объектов Бj ; Бр - спецификация Б; 165 - интерфейс, текст формального
задания вызова или использования каждого объекта Б; Спб -контекст; Вс1 - текст формального задания тел реализации объектов Бj из объектов СШ;, который представляет собой последовательность интерфейсов 165 объектов СпЦ; ТэЦ формальное задание множества тестов, обеспечивающих контроль корректности Б3
1.6. 4.2. Нормы макроуровня
В работах [23,24] были введены метрики программного проекта, создаваемого по сборочной технологии.
Норма времени пЦ(б) на графе Б формального задания, подробность которого ограничена контекстом, задается как вектор-множество норм времени путей, образуемых графом С. Конкретные методы оценки норм времени рассмотрены в [20]. Хотя в общем случае перебор путей в графе является достаточно трудоемкой задачей, для графа с числом узлов порядка 10 он вполне приемлем, что позволяет применять этот подход при мелкомодульном проектировании расширяемых систем.
Для макрооценки остальных показателей применяется следующий подход к построению нормы (по) для некоторого объекта Б:
по (Б±) = по (Вс1 (Б±) ) + Епо (Б ) *о, Б1Сп6(Б1),
где Вс1 - тело объекта или текст формального задания объекта Б_ в контексте Сп6(Б±); Б - объект из множества объектов контекста СпЦ (Б) ; се[0,1] (о=0 при повторном определении