Ссылки: актор 7.1, атрибут 4.1.1, значение переменной 3.1, значение слота 5.1, инициализатор 4.1.2, конструктор 4.1.3, мир 5.1, начальное значение слота 5.4.2, общие переменные 7.2, переменная 2.1.1, построение слотов 5.4.2, слот 5.1, формирование миров 5.4.1.

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Сопоставление локальных значений

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

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

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

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