Введение
1. Направления в развитии проектирования, разработки и анализа программного обеспечения 15
1.1. Подходы, методы, способы в разработке ПО 16
1.2. Применение UML диаграмм 20
1.3. Применение сетей Петри 23
1.4. Проектирование программного обеспечения на основе UML диаграмм и сетей Петри 27
1.5. Построение пространства состояний сетей Петри с сохранением информации о всех состояниях 34
1.6. Способы анализа пространства состояний 37
1.7. Постановка задачи диссертационного исследования 42
2. Методика проектирования и анализа программного обеспечения. решение задач, связанных с проектированием сетей петри сложной структуры 44
2.1. Сети Петри с нагруженными метками: перемещение манипулятора в пространстве с препятствиями 45
2.2. Сети Петри: реализация рекурсивных функций 52
2.3. Автоматическая трансляция UML диаграмм в сети Петри 56
2.4. Методика проектирования программного обеспечения с использованием UML диаграмм и сетей Петри 63
2.5. Компактное представление языков сетей Петри 68
2.6. Выводы 71
3. Анализ сетей петри: пространство состояний, инверсия, матричное представление
3.1. Анализ отдельных сценариев системы с использованием сетей Петри и пространства состояний 73
3.2. Иерархическая сеть Петри. Анализ свойств отдельных подсетей для оценки всей системы 79
3.3. Анализ отдельных частей графа состояний сетей Петри 83
3.4. Инверсия сетей Петри для проверки достижимости выбранных состояний 86
3.5. Инверсия графа состояний сети Петри для проверки достижимости выбранных состояний на примере протокола передачи данных 91
3.6. Матричное представление сетей Петри. Разработка приложения, преобразующего комбинацию мест и переходов маркированных сетей
Петри в матричную форму 96
3.7. Выводы 99
4. Применение методики совместного использования uml диаграмм и сетей петри при проектировании программного обеспечения 100
4.1. Проектирование программного обеспечения для системы автоматиза ции обжига окатышей: разработка модели 101
4.1.1. Описание технологического процесса подготовки железорудных окатышей 101
4.1.2. Разработка диаграмм 103
4.2. Проектирование программного обеспечения для системы автоматиза ции обжига окатышей: моделирование поддержания температуры в зоне обжига печи 106
4.3. Проектирование программного обеспечения для АСУ ТП водоснабже ния: поддержание регулируемых величин 112
4.4. Использование матричного представления сетей Петри 120
4.4.1. Матричное представление автоматического режима работа управляемого светофора 121
4.4.2. Матричное представление логики работы двухсимочного телефона . 121
4.4.3. Матричное представление основных взаимодействий пользователя с банкоматом 122
4.5. Выводы 122
Заключение 124
Список литературы 126
