Приведем в качестве примера спецификацию процесса доступа к среде протокола IEEE 802.12, описывающего высокоскоростную технологию локальной сети 100VG-AnyLAN (рис. 7) [1].
Рис. 7. Спецификация доступа в протоколе 100VG-AnyLAN
Начальное состояние процесса доступа – «Тренировка» гиперсостояния «Активен». В нем данная рабочая станция идентифицируется, проверяются канал и верхний уровень. При отсутствии ошибок процесс переходит в начальное состояние «Старт» гиперсостояния «Ожидание». Если произошла генерация пользователем очередного пакета, то процесс в состоянии «Пакет» ждет разрешения посылки пакета в канал связи и при получении разрешения отправляет пакет (состояние «Посылка пакета» гиперсостояния «Работа»). Затем процесс возвращается в состояние «Старт». В любом из состояний гиперсостояния «Ожидание» процесс может быть прерван сигналом от верхнего уровня «Идет пакет», который заставляет все станции сети готовиться к приему пакета. Верхний уровень по полученному заголовку пакета определяет его адресата и сообщает процессу, надо ли принимать пакет или следует вернуться в предыдущее состояние гиперсостояния «Ожидание» (за это отвечает историческое псевдосостояние Н). В случае отказа процесс переходит в состояние «Отказ», а при восстановлении возобновляет работу из состояния «Тренировка».
Loading ...