Термины и определения. Буква "С".

 

Связывание переменной (binding of variable) - замена всех вхождений переменной некоторой константой, составным термом или экземпляром класса. В Акторном Прологе область действия операции связывания переменной всегда ограничена множеством вхождений, принадлежащих некоторым конкретным акторам.

 

Сегмент строки (string segment) - лексема, обозначающая цепочку графических и управляющих символов.

 

Символ (symbol) - разновидность лексемы - имя, начинающееся с маленькой буквы или заключённое в апострофы.

 

Системный каталог (system directory) - каталог в файловой системе компьютера, в котором по умолчанию хранятся пакеты. Системный каталог определяется реализацией языка.

 

Слот (slot) - составная часть экземпляра класса, характеризуемая именем и значением. Именем слота является некоторый атрибут, значением слота - терм.

 

Согласование акторов (coordination of actors) - действия, осуществляемые для обеспечения согласованности акторов некоторого процесса - попытка согласовать локальные значения общих переменных акторов процесса. Согласование акторов включает сопоставление локальных значений общих переменных акторов, а также повторное доказательство акторов, нейтрализованных в ходе проведённого сопоставления локальных значений.

 

Согласование процессов (coordination of processes) - действия, осуществляемые для обеспечения согласованности процессов. Согласование процессов происходит посредством обмена асинхронными сообщениями.

 

Согласованность акторов (consistency of actors) - Акторы процесса считаются согласованными между собой, если: 1) Все акторы, принадлежащие процессу, хотя бы один раз были доказаны. 2) Существуют производные значения общих переменных этого процесса.

 

Согласованность процессов (consistency of processes) - Считается, что некоторые процессы "согласованы" между собой, если: 1) Все они находятся в состояниях "доказан" и "неиспользуемый". 2) Не требуется обработка потоковых и прямых сообщений процессами, находящимися в состоянии "доказан". 3) Не требуется обработка потоковых сообщений процессами, находящимися в состоянии "неиспользуемый". 4) Производные значения общих переменных всех процессов могут быть унифицированы.

 

Согласованный порт (consistent port) - одно из двух возможных состояний порта - порт может перейти в это состояние в ходе отправления или обработки потокового сообщения.

 

Создатель процесса (creator of process) - процесс, одному из слотов миров которого соответствовал инициализатор - конструктор рассматриваемого процесса.

 

Создатель резидента (creator of resident) - процесс, одному из слотов миров которого соответствовал инициализатор - конструктор резидента. Создатель резидента является его "владельцем".

 

Сообщение (message) - некоторое количество информации, передаваемое между процессами, представляющее для них единое целое. Различаются прямые и потоковые, а также переключающие и информационные сообщения. В языке используются потоковые переключающие, а также прямые информационные и прямые переключающие сообщения.

 

Соответствие переменной актору (correspondence between variable and some actor) - то же, что "использование переменной актором".

 

Сопоставление локальных значений (comparison of local values) - первый этап согласования акторов процесса. В общем случае, в ходе сопоставления локальных значений общих переменных осуществляется нейтрализация некоторых доказанных акторов, принадлежащих процессу.

 

Сорт глобального значения переменной (a sort of global value of variable) - вспомогательная характеристика, приписываемая текущим глобальным значениям общих переменных - "защищённое" или "незащищённое".

 

Сорт значения порта (a sort of value of port) - вспомогательная характеристика, приписываемая текущим значениям портов - "защищённое" или "незащищённое".

 

Сорт порта (a sort of port) - вспомогательная характеристика, приписываемая портам; процесс относит каждый из своих портов к одному из трёх сортов: "простой", "отключающий", "защищающий". Сорта портов задаются с помощью описателей портов или по умолчанию.

 

Сорт потокового сообщения (a sort of flow message) - вспомогательная характеристика, приписываемая потоковым сообщениям. Различаются два сорта потоковых сообщений - "защищённое" и "незащищённое". Потоковое сообщение является защищённым, если оно непустое и было отправлено (передано) через защищающий порт. В остальных случаях потоковое сообщение является незащищённым. В частности, сорт пустого сообщения всегда "незащищённое".

 

Составной терм (compound term) - структура, список или недоопределённое множество.

 

Состояние актора (state of actor) - Актор может находиться в одном из трёх состояний: доказанный, активный, нейтральный.

 

Состояние порта (state of port) - вспомогательное логическое значение, поставленное в соответствие каждому порту. Считается, что порт процесса всегда находится в одном из двух возможных состояний: согласованный или несогласованный.

 

Состояние процесса (state of process) - Процесс может находиться в одном из трёх состояний: 1) "объявленный; 2) "используемый"; 3) "неиспользуемый". "Используемый процесс" - это обобщающее название для следующих трёх состояний процесса: 1) "сформированный"; 2) "доказанный"; 3) "неудачный".

 

Спейсер (spacer) - константа #, обозначающая неизвестный элемент данных или мир.

 

Специальный символ (special symbol) - графический символ, используемый для построения ограничителей.

 

Список (list) - составной терм, построенный из последовательности (возможно, пустой) аргументов, заключённой в квадратные скобки. В случае если последовательность аргументов списка не является пустой, в его состав может быть включён дополнительный компонент, обозначающий остаток (хвост) списка.

 

Список задержанных подцелей (list of suspended subgoals) - вспомогательный список подцелей доказательства, исполнение которых было отложено механизмом задержки исполнения подцелей. Считается, что на каждой фазе исполнения процесса используется новый список задержанных подцелей. В начале фазы список задержанных подцелей является пустым.

 

Стратегия управления (control strategy) - алгоритм управления исполнением программы, определяющий порядок выбора предложений программы и порядок исполнения подцелей в предложениях. Стратегия управления Акторного Пролога ("акторный механизм") является расширением стандартной стратегии управления ("поиск слева направо в глубину с возвратом"), соответствующей текстуальному упорядочению процедур и вызовов предикатов. Отличиями акторного механизма от стандартной стратегии управления являются возможности повторного доказательства акторов, а также задержки исполнения подцелей.

 

Строковый литерал (string literal) - разновидность простого терма - последовательность сегментов строки, обозначающая цепочку графических и управляющих символов.

 

Структура (structure) - составной терм, построенный из функтора и последовательности одного или более аргументов, заключённой в круглые скобки.

 

Сформированный процесс (formed process) - одно из возможных состояний процесса - характеризуется тем, что пространство поиска и слоты процесса уже созданы, но при этом некоторые акторы процесса ещё ни разу не были доказаны и, следовательно, не согласованы.

 

Сцепление переменных (chaining of variables) - отождествление (несвязанных) переменных; любое связывание одной из сцеплённых переменных автоматически вызывает такое же связывание всех сцеплённых с ней переменных. В Акторном Прологе область действия операции сцепления переменной всегда ограничена множеством её вхождений, принадлежащих некоторым конкретным акторам.


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