Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 91 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 1173: | Строка 1173: | ||
=== Язык Promela. Задание потока управления последовательного процесса. Управляющие конструкции if, do. Организация внутреннего недетерминизма. === | === Язык Promela. Задание потока управления последовательного процесса. Управляющие конструкции if, do. Организация внутреннего недетерминизма. === | ||
- | '''Задание потока управления последовательного процесса''' | ||
- | 5 способов задать поток управления: | ||
- | * последовательная композиция(“;”), метки, goto, | ||
- | * структуризация (макросы и inline), | ||
- | * атомарные последовательности (atomic, d_step), | ||
- | * недетерминированный выбор и итерации (if..fi, do..od), | ||
- | * escape-последовательности ({...}unless{...}). | ||
- | |||
- | '''Специальные выражения и переменные''' | ||
- | * else – true, если ни один оператор процесса не выполним, | ||
- | * timeout – true, если ни один оператор модели не выполним, | ||
- | * _ – переменная, доступная только по записи, значение не сохраняет, | ||
- | * _pid – минимальный доступный pid, | ||
- | * _nr_pr – число активных процессов. | ||
- | |||
=== Язык Promela. Каналы сообщений. Операторы отправки и приёма сообщений. Тип mtype. синхронная и асинхронная передача сообщений. === | === Язык Promela. Каналы сообщений. Операторы отправки и приёма сообщений. Тип mtype. синхронная и асинхронная передача сообщений. === | ||
'''Каналы сообщений''' | '''Каналы сообщений''' |