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

СОДЕРЖАНИЕ
Введение
1 .Моделирование программной архитектуры и транзакций на
архитектурном уровне.
1.1 Моделирование программной архитектуры
1.1.1 Определение программной архитектуры
1.1.2 Цели использования программной архитектуры.
1.1.3 Связь внешней среды и программной архитектуры
1.1.4 Структуры программных средств
1.1.5 Процесс разработки и программная архитектура.
1.1.6 Связанные направления
1.2 Моделирование транзакций на архитектурном уровне проектирования программных средств.
1.2.1 Транзакционная структура ТС
1.2.2 Описание транзакционной структуры на иМЬ.
1.3 Выводы.
2. Транзакции в АСУИО
2.1 Транзакции и целостность баз данных
2.1.1 Пример нарушения целостности базы
2.1.2 Понятие транзакции.
2.1.3 Ограничения целостности
2.1.4 Классификация ограничений целостности
2.1.5 Классификация ограничений целостности по способам реализации.
2.1.6 Классификация ограничений целостности по времени проверки.
2.1.7 Классификация ограничений целостности по области действия
2.1.8 Ограничения домена.
2.1.9 Ограничения атрибута.
2.1. Ограничения кортежа.
2.1. Ограничения отношения.
2.1. Ограничения базы данных.
2.1. Реализация декларативных ограничений целостности средствами БРЬ.
2.1. Синтаксис операторов 8СЬ, использующих ограничения
2.2 Транзакции и восстановление данных
2.2.1 Индивидуальный откат транзакции1
2.2.2 Восстановление после мягкого сбоя.
2.2.3 Восстановление после жесткого сбоя
2.3 Выводы
3. Многоверсионность данных и управление параллельными транзакциями
ф 3.1 Транзакции и параллелизм
3.2 Временные метки.
3.3 Многоверсионный вариант двухфазного протокола синхронизации.
3.4 Многоверсионный протокол для транзакций,
не изменяющих данные
3.5 МУБОпланировщики.
3.6 Проблемы реализации версионных алгоритмов.
3.7 Выводы
4. Модель оценки транзакционной наджности программного обеспечения вАСУИО
4.1 Описание модели оценки транзакционной наджности
4.2 Программная реализация системы модельноалгоритмической поддержки анализа транзакционной
надежности программных средств
4.3 Примеры решения задач и анализ результатов
4.4 Выводы
Заключение
Список использованной литературы