Дальний вызов предиката (far call of predicate) - вызов предиката, в котором явным образом (с помощью переменной или атрибута) указан мир, в котором этот вызов должен быть исполнен.
Детерминированный (deterministic) - такой, в результате исполнения которого не возникают новые точки выбора.
Доказанный актор (proven actor) - одно из возможных состояний актора - актор, доказательство которого завершилось успехом на одной из фаз F исполнения процесса G и в данный момент не отменено. Актор считается доказанным с момента (успешного) окончания фазы F процесса G до (возможной) нейтрализации рассматриваемого актора на одной из последующих фаз процесса G.
Доказанный процесс (proven process) - одно из возможных состояний процесса - характеризуется тем, что все акторы, принадлежащие процессу, согласованы.
Доказательство - 1. (proving) исполнение чего-либо (например, доказательство процесса, актора, конструктора, подцели доказательства, подцели предложения, предиката, целевого утверждения); проверка чего-либо (например, доказательство существования производных значений переменных); 2. (proof) результаты успешного доказательства чего-либо.
Доказательство актора - 1. (proving of actor) исполнение (первое или повторное) акторного вызова предиката; 2. (proof of actor) результаты успешного исполнения актора (в том числе, возможно, точки выбора и значения переменных), включая результаты доказательства вложенных по отношению к нему акторов.
ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)