7.3.1. СОПОСТАВЛЕНИЕ ЛОКАЛЬНЫХ ЗНАЧЕНИЙ

На первом этапе согласования акторов сопоставляются локальные значения общих переменных, соответствующие различным акторам процесса G.

Сопоставление локальных значений общих переменных осуществляется следующим образом:

  1. Вычисляются фиксированные актуальные значения общих переменных процесса G.
  2. Нейтрализуются все акторы процесса G, находящиеся в состоянии "доказанный", локальные значения которых не могут быть унифицированы с фиксированными актуальными значениями процесса.

Порядок нейтрализации акторов в языке не определён.

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


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


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