7.3. СОГЛАСОВАНИЕ АКТОРОВ ПРОЦЕССА

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

Согласование акторов включает:

  1. сопоставление локальных значений общих переменных акторов процесса;
  2. повторное доказательство акторов, нейтрализованных в ходе проведенного сопоставления локальных значений.

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


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


7. АКТОРЫ И ПОВТОРНЫЕ ДОКАЗАТЕЛЬСТВА
7.3.1. СОПОСТАВЛЕНИЕ ЛОКАЛЬНЫХ ЗНАЧЕНИЙ
7.3.2. ИСПОЛНЕНИЕ ПОВТОРНЫХ ДОКАЗАТЕЛЬСТВ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)