Обозначение исключительной ситуации (designation of exception) - символ или неотрицательное целое число.
Обработка исключительной ситуации (processing of exception) - действия, осуществляемые программой в случае возникновения исключительной ситуации.
Обработка сообщения (processing of message) - фаза исполнения процесса - действия, осуществляемые процессом в случае получения сообщения.
Общая переменная (common variable) - переменная, которая используется (или может быть использована) несколькими акторами.
Объявление функции (declaration of function) - разновидность атомарной формулы - синтаксическая конструкция, имитирующая заголовок подпрограммы-функции, возвращающей некоторое значение - терм. В результате трансляции объявления функций преобразуются в предикаты.
Объявленный процесс (declared process) - одно из возможных состояний процесса - характеризуется тем, что соответствующие ему экземпляры классов ещё не сформированы.
Ограничитель (delimiter) - разновидность лексемы - последовательность из одного или нескольких специальных символов, используемая в синтаксических конструкциях языка.
Оператор отсечения, '!' (cut statement) - встроенный управляющий оператор - отсечение устраняет все неисследованные пути (точки выбора), которые встретились с момента начала исполнения предиката, в соответствие которому было поставлено предложение, содержащее оператор.
Описатель порта (declarator of port) - ключевое слово, с помощью которого задаётся сорт порта. Описателями портов служат ключевые слова "suspending" и "protecting", обозначающие "отключающий" и "защищающий" соответственно.
Освобождение общих переменных процессом (releasing common variables by process) - передача пустых сообщений из процесса; осуществляется каждый раз при переходе этого процесса из состояния "доказанный" в состояние "неудачный" или "неиспользуемый".
Откат (backtracking) - возобновление исполнения процесса, начиная с последней (неустранённой оператором отсечения) точки выбора. В результате отката осуществляется восстановление состояний всех акторов рассматриваемого процесса на момент прохождения упомянутой точки выбора (в том числе отмена всех связываний и сцеплений переменных, произошедших в акторах с момента прохождения этой точки, отмена нейтрализации и результатов повторных доказательств акторов, а также отмена всех изменений, внесённых в список задержанных подцелей).
Отключающее значение (suspending value) - то же, что "задерживающее значение".
Отключающее сообщение (suspending flow message) - потоковое сообщение, значение которого является задерживающим. Поступление отключающего потокового сообщения на любой отключающий порт процесса вызывает отключение этого процесса.
Отключающий порт (suspending port) - разновидность портов процессов, обладающая следующими свойствами: 1) При получении через отключающий порт задерживающего значения процесс автоматически переводится в состояние "неиспользуемый". Когда значения всех отключающих портов процесса перестают быть задерживающими, он автоматически возвращается в состояние "используемый". 2) Отключающий порт R процесса G всегда активизируется в начале фазы исполнения процесса G, если производителем текущего значения порта R является процесс, отличный от G.
Отключение процесса (disconnection of process) - перевод процесса в состояние "неиспользуемый".
ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)