Введение
1. Введение 7
2. Инструментальные средства программирования (обзор) 12
2.1. Накопление и использование программистских знаний 12
2.1.1. Идеи, на которых основывается накопление и использование программистских знаний 12
2.1.2. Системы, поддерживающие накопление и использование программистских знаний 16
2.1.3. Практическое применение средств накопления и использования программистских знаний 21
2.1.4. Применение логического аппарата 24
2.1.5. Инструментальные средства широкого спектра 27
2.2. Компонентная объектная модель JavaBeans 29
2.2.1. Введение 29
2.2.2. Коротко о языке Java 30
2.2.3. Основные понятия модели JavaBeans 32
2.2.4. Афиширование и выяснение интерфейсов 35
2.2.5. Сохранение компонентов в долговременной памяти 42
2.2.6. Компоненты и контейнеры 45
2.2.7. Обмен данными 46
2.2.8. Агрегирование интерфейсов 51
2.3. Современные объектно-ориентированные СУБД 53
2.3.1. Введение 53
2.3.2. СУБД P0STGRES 53
2.3.3. Объектно-ориентированные возможности INFORMIX-Universal Server 62
2.3.4. СУБД ObjectStore 65
3. Основные понятия и компоненты системы ЭСКОРТ - з 3.1. Нетекстовое представление программы 70
3.2. Объектно-ориентированная СУБД 72
3.3. Абстрактный структурно-текстовый редактор программ . 74
3.4. Инкрементальный анализ программ 75
4. Язык широкого спектра ЭСКОРТ 78
4.1. Данные 78
4.1.1. Введение 78
4.1.2. Механизм типизации. Контроль типов. Описания объектов 79
4.1.3. Механизм типизации. Генераторы типов 81
4.1.4. Предопределенные типы и генераторы типов 86
4.1.5. Пакеты 98
4.1.6. Бремя жизни объектов 99
4.2. Управляющие структуры 100
4.2.1. Традиционные управляющие структуры 100
4.2.2. Оператор вызова процедуры (сопрограммы) и оператор возврата 100
4.2.3. Цикл ДНЯ 101
4.2.4. Исключительные ситуации 101
4.2.5. Применение механизма исключительных ситуаций: выход из цикла 101
5. Объектно-ориентированная СУБД как компонент инструментальной среды программирования 102
5.1. Объектно-ориентированная система управления базами данных комплекса ЭСКОРТ 102
5.1.1. Введение 102
5.1.2. Модуль как объект нижнего уровня СУБД 102
5.1.3. Проекты, версии и модули в версиях 109
5.1.4. Примеры работы с проектами, версиями и модулями в версиях 117
5.2. О достаточных условиях бесконфликтной синхронизации процессов - клиентов объектно-ориентированной СУБД 121
5.2.1. Введение 121
5.2.2. Принцип неуничтожения информации 123
5.2.3. Синхронизация процессов - компонентов одной программной системы 125
5.2.4. Синхронизация независимых программных систем 126
5.2.5. О реалистичности сформулированных достаточных условий бесконфликтной синхронизации 128
6. Многоплановая объектная модель и ее приложения 131
6.1. Введение 131
6.2. Объектная модель и ее оболочка 131
6.2.1. Основные понятия многоплановой объектной модели и ее оболочки 131
6.2.2. Внутренний слой оболочки 133
6.2.3. Передача сообщений объектам 135
6.2.4. Некоторые обобщения 137
6.2.5. Некоторая конкретизация 138
6.3. Приложения многоплановой объектной модели 139
6.3.1. Настраиваемый структурно-текстовый редактор 139
6.3.2. Гипертекстовая среда 143
6.3.3. Многоплановые электронные бланки 146
6.4. Заключение 149
7. Настройка инструментальной системы ЭСКОРТ на обработку HTML-документов 150
7.1. Введение 150
7.2. Сведения о языке HTML 151
7.3. Средства настройки ЭСКОРТа 155
7.4. Язык настройки 157
7.4.1. Основные понятия языка настройки 157
7.4.2. Лексические элементы языка настройки 162
7.4.3. Обработка синтаксических ошибок 164
7.4.4. Правила видимости символов 164
7.4.5. Структурное редактирование, пользовательский интерфейс
7.5. База Данных ЭСКОРТа 165
7.6. Заключение 167
8. Аппарат схем 169
8.1. Понятие схемы программы 169
8.2. Пример схемы программы 170
8.3. Механизм подстановки схемы 171
8.4. Пример подстановки схемы 172
8.5. Представление схем программ в БД ЭСКОРТа 175
9. О постановке задачи разграничения доступа в распределенной объектной среде 183
9.1. Введение 183
9.2. Недостатки существующих моделей разграничения доступа
с точки зрения объектного подхода 183
9.3. Основные предположения 185
9.4. Формальная постановка задачи 186
9.5. Первый уровень конкретизации 1 9.5.1. Политика безопасности контейнера 187
9.5.2. Ограничения на вызываемый метод 187
9.5.3. Ограничения на вызывающий метод 187
9.5.4. Добровольно налагаемые ограничения 188
9.5.5. Условие допустимости вызова 188
9.5.6. Внутренние и внешние вызовы 189
9.6. Оптимизация вычисления ГГРД 190
9.6.1. Однократное вычисление предикатов 190
9.6.2. Уменьшение числа членов ПРД
9.7. Обработка ПРД 191
9.8. Второй уровень конкретизации - реализация традиционных моделей разграничения доступа 1 9.8.1. Реализация дискреционной модели 192
9.8.2. Реализация мандатной модели 193
9.8.3. Реализация модели песочницы 194
9.9. Заключение 195
10. Заключение 196
11. Литература
