Введение
Глава I. Базовые понятия 11
1.1 Обзор языка Estelle 11
1.1.1 Понятие модуля 11
1.1.2 Организация взаимодействия между модулями 15
1.1.3 Принцип структуризации и такт вычисления 19
1.1.4 Концепция времени в Estelle . 22
1.2 Сети Петри 23
1.2.1 Ординарные сети Петри 23
1.2.2 Раскрашенные сети Петри 23
1.2.3 Декларации раскрашенной сети , 24
1.2.4 Пометка раскрашенной сети 25
1.2.5 Правила функционирования раскрашенных сетей . 26
1.2.6 Структура иерархической раскрашенной сети 27
1.3 Расширение модели раскрашенных сетей 28
1.3.1 Временные раскрашенные сети 28
1.3.2 Раскрашенные сети с приоритетами 32
Глава II. Моделирование статических Estelle-спецификаций посредством раскрашенных сетей 34
2.1 Отображение предопределенных типов Estelle 35
2.2 Отображение иерархии модулей 36
2.3 Формальные параметры и экспортируемые переменные 39
2.4 Точки взаимодействия и структура связей 40
2.5 Отображение тела модуля 44
2.6 Моделирование Estelle-перехода 46
2.6.1 Приставка provided 50
2.6.2 Представление стандартных операторов 51
2.6.3 Отображение процедур и функций 53
2.7 Моделирование отложенных Е-переходов 54
2.8 Моделирование такта вычисления 59
2.8.1 Последовательное выполнение 59
2.8.2 Параллельное выполнение 63
2.9 Обоснование алгоритма построения и оценка размера сети . 65
Глава III. Моделирование динамических Estelle-спецификаций по средством раскрашенных сетей 72
3.1 Отображение иерархии модулей 73
3.2 Идентификация экземпляров модулей 74
3.3 Формальные параметры и экспортируемые переменные 77
3.4 Точки взаимодействия , 78
3.5 Операторы установления связи 80
3.5.1 Соединение точек взаимодействия 80
3.5.2 Прикрепление точек взаимодействия 82
3-6 Операторы разъединения связей 83
3.6.1 Отсоединение точек взаимодействия 84
3.6.2 Открепление точек взаимодействия 85
3.7 Организация ввода/вывода 87
3.8 Отображение тела модуля 89
3.8.1 Моделирование модулей-наследников 90
3.8.2 Моделирование функциональности тела модуля 91
3.9 Моделирование Estelle-перехода 92
3.9.1 Специфические операторы Estelle 93
3.9.2 Процедуры и функции . 96
3.9.3 Моделирование Е-переходов с задержками 96
3.10 Создание и уничтожение новых экземпляров модулей 100
3.10.1 Создание экземпляра модуля 100
3.10.2 Уничтожение экземпляра модуля 102
3.11 Моделирование такта вычисления 103
3.12 Обоснование алгоритма построения и оценка размера сети .105
Глава IV. Эксперименты 114
4.1 Программный комплекс EPV 114
4.2 Кольцевой протокол 118
4.2.1 Описание протокола 118
4.2.2 Estelle-спецификация RE-протокола 121
4.2.3 Сетевая модель RE-протокола 122
4.2.4 Эксперименты с кольцевым протоколом 123
Заключение 131
Литература 133
Приложение 141
