Введение
Бесконечные синхронные потоки 14
1.1 Моделирование бесконечных потоков 14
1.2 Имя потока, вариант поведения и множество поведений потока 17
1.3 Бесконечные синхронные потоки 18
1.4 Моделирование конечных последовательностей 22
Метод синхронных потоков 28
2.1 Объект 29
2.2 Композиция объектов 37
2.3 Алгоритм синтеза математической модели системы из моделей составляющих ее объектов 48
2.4 Формальная коалгебраическая семантика 50
Темпоральная логика на потоках 55
3.1 Линейная темпоральная логика на потоках 56
3.2 Проверка моделей и доказательство теорем 62
Алгоритмы автоматического построения и анализа вариантов поведения объекта или системы объектов 65
4.1 Уточненная модель объекта с зависимыми и независимыми потоками 65
4.2 Требования конечного иедетерминизма в поведении объекта 67
4.2.1 Требования уникальности поведения объекта 67
4.2.2 Требования конечного недетерминизма в поведении объекта 68
4.3 Алгоритм построения фрагментов вариантов поведений объекта 76
4.4 Линейная темпоральная логика на фрагментах 77
4.5 Алгоритм анализа фрагментов вариантов поведения объекта путем проверки выполнимости ими временных свойств 79
Моделирование вариантов поведения системы производственных объектов 82
5.1 Модель простого производственного объекта 82
5.2 Модель простого складского объекта ч 87
5.3 Модель складского объекта с учетом динамики основных фондов 88
5.4 Модель внешнего поставщика фондов 90
5.5 Модель внешнего заказчика продукции 92
5.6 Модель системы производственного объекта с учетом внешних поставщиков и заказчика 93
5.7 Построение и анализ вариантов развития замкнутой системы 104
Основные результаты диссертационной работы 113
Приложение
Варианты поведения замкнутой ситсемы производственного объекта с поставщиками, заказчиком и управляющим объектом 125
