Введение
1 Основные положения технологии автоматизации производственных процессов 12
1.1 Области применения 12
1.2 Две парадигмы (коммуникационный и операционный подход) 15
1.3 Общепринятая классификация 21
2 Современные логико-языковые средства описания и верификации автоматизированных процессов 24
2.1 Направления развития и вопросы стандартизации 24
2.2 Язык XPDL 27
2.3 Оценка выразительности языков описания определений процессов 31
2.4 Математические методы моделирования и анализа производственных процессов 38
2.4.1 Типы анализа 38
2.4.2 Сети Петри 42
2.4.3 Редукция графов 54
2.4.4 Выводы 59
2.5 Обзор промышленных систем автоматизации производственных процессов 60
2.5.1 COSA 61
2.5.2 MQSeries/Workflow 62
2.5.3 Staffware 63
2.5.4 InConcert 64
2.5.5 Выводы 64
Разработка основанного на XML языка описания определений и реализаций процессов 66
3.1 Синтаксис языка XPDIL G6
3.1.1 Элемент Process 67
3.1.2 Элементы Data и Parameter 73
3.1.3 Элемент Participant 75
3.1.4 Элемент Step 76
3.1.5 Элемент Transition 80
3.2 Семантика (формальная модель) языка XPDIL 81
3.2.1 Статическая составляющая формальной модели . 82
3.2.2 Динамическая составляющая формальной модели . 86
3.3 Выразительность языка XPDIL 95
3.3.1 Шаблон последовательности 96
3.3.2 Поддерживаемые шаблоны, основанные на понятии нити управления 98
3.3.3 Контрпример для шаблона синхронизирующего соединения 104
3.3.4 Не поддерживаемые шаблоны, использующие множественную реализацию шагов процесса 106
3.3.5 Не поддерживаемые шаблоны, использующие дополнительные условия на смену промежуточных этапов реализаций процессов 109
3.3.6 Шаблоны, регламентирующие завершение реализации процесса 111
3.3.7 Теорема о выразительности языка XPDIL 115
3.4 Выводы 116
Архитектурно-технологические аспекты программной системы 118
4.1 Основные черты специализированной системы автоматизации производственных процессов 118
4.2 Модуль разработки определений процессов 123
4.3 Модуль автоматизации 126
4.4 Модуль управления задачами пользователей 127
4.5 Результаты опытной эксплуатации 128
5 Математические методы валидации 133
5.1 Неформальное описание подхода 133
5.2 Формализация понятия «нить управления» 136
5.3 Регулярность языков управления для ограниченных сетей Петри 139
5.4 Пример нерегулярного языка управления 145
5.5 Конъюктивные регулярные тесты 147
5.6 Направление дальнейшего развития подхода 149
Список литературы 152
