Оглавление.
Введение.
Актуальность темы.
Цель и задачи работы
Основные результаты работы
Научная новизна работы
Практическая значимость.
Доклады и печатные публикации.
Структура и объем диссертации.
Краткое содержание работы.
Глава 1 Потоки работ, двустороннее отображение между формулами потоков работ и их графовым представлением
1.1 Обзор языков описания потоков работ, системы управления потоками работ
1.2 Промежуточные представления потоков работ
1.2.1 Размеченные фафы анализа потоков работ
1.2.2 Формальный язык описания потоков работ
1.2.3 Сети потоков работ
1.2.4 Графы потоков работ.
1.2.5 Выразительные возможности промежуточных представлений потока
1.3 Двустороннее отображение между Формальным языком описания потоков работ и Размеченными графами анализа потоков работ
1.3.1 Алгоритм построения Размеченного графа анализа потока работ по
Формальному описанию потока работ.
1.3.2 Алгоритм построения Формального описания потока работ по
Размеченному графу анализа потока работ
1.4 Выводы.
Глава 2 Алгоритмы анализа и преобразования потоков работ.
2.1 Алгоритм верификации Размеченных графов анализа потоков работ, сопоставление с другими известными алгоритмами верификации потоков работ.
2.1.1 Структурные конфликты и алгоритмы верификации потоков работ
2.1.2 Алгоритм булевой верификации АБВ потоков работ.
2.1.2.1 Структурные конфликты в Размеченных графах анализа потоков работ без ориентированных циклов.
2.1.2.2 Алгоритм булевой верификации потоков работ АБВ для графов без ориентированных циклов.
2.1.2.3 Вычислительная сложность Алгоритма булевой верификации АБВ потоков работ для графов без ориентированных циклов
2.1.2.4 Алгоритм булевой верификации потоков работ АБВ для рафов с ориентированных циклами
2.1.2.5 Сравнение АБВ с другими алгоритмами верификации потоков работ.
2.2 Алгоритм структурной оптимизации потоков работ
2.2.1 Алгоритм структурной оптимизации Размеченных графов анализа потоков работ.
2.2.2 Вычислительная сложность алгоритма структурной оптимизации Размеченных графов анализа потоков работ.
2.2.3 Получение Формального описания потока работ по оптимизированному Размеченному графу анализа потока работ
2.3 Обоснование алгоритмов верификации и оптимизации потоков работ
2.3.1 Обоснование алгоритма булевой верификации АБВ для графов без ориентированных циклов.
2.3.2 Обоснование алгоритма структурной оптимизации Размеченных графов анализа потоков работ
2.4 Выводы.
Глава 3 Применение алгоритмов верификации и оптимизации потоков работ
3.1 Преобразование процессов в Формальное описание потоков работ
3.1.1 Xпредставление Формального языка описания потоков работ
3.1.2 Основные конструкции языка
3.1.3 Преобразование процесса в Формальное описание потока работ
3.1.4 Получение процесса по Формальному описанию потока работ
3.2 Реализация и применение алгоритмов анализа потоков работ.
3.2.1 Система автоматической верификации и оптимизации потоков работ.
3.2.2 Система управления электронной библиотекой Научное наследие России
3.2.3 Анализ процесса удаления книги в Электронной библиотеке Научное Наследие России.
3.3 Выводы.
Заключение.
Литература
- Київ+380960830922