7.3.2. ИСПОЛНЕНИЕ ПОВТОРНЫХ ДОКАЗАТЕЛЬСТВ

После сопоставления локальных значений общих переменных автоматически вызывается повторное доказательство всех нейтральных акторов процесса G, за исключением акторов-представителей портов процесса (см. свойства акторов-представителей в разделе 5.2.2).

Порядок исполнения повторных доказательств акторов в языке не определен.

Согласование акторов считается успешным в том и только в том случае, если завершаются успехом все повторные доказательства.

Примечание. В результате повторного доказательства недетерминированного актора, могут возникать новые точки выбора.

Ссылки: актор 7.1, актор-представитель 5.2.2, исполнение предиката 6.3.1, локальные значения 7.2, нейтральные акторы 7.1, общие переменные 7.2, повторные доказательства 7.1, порт 5.2.2, процесс 5.2, согласование акторов 7.3, сопоставление локальных значений 7.3.1.

Следующий: 7.4. СОГЛАСОВАНИЕ ПРОЦЕССОВ
Предыдущий: 7.3.1. СОПОСТАВЛЕНИЕ ЛОКАЛЬНЫХ ЗНАЧЕНИЙ

7.3. СОГЛАСОВАНИЕ АКТОРОВ ПРОЦЕССА
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)