Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.cplire.ru/Lab144/koi8/01070302.html
Дата изменения: Mon Sep 24 15:06:49 2007 Дата индексирования: Tue Oct 2 03:22:09 2012 Кодировка: koi8-r Поисковые слова: п п п п п п п п п п п п п |
После сопоставления локальных значений общих переменных автоматически вызывается повторное доказательство всех нейтральных акторов процесса G, за исключением акторов-представителей портов процесса (см. свойства акторов-представителей в разделе 5.2.2).
Порядок исполнения повторных доказательств акторов в языке не определен.
Согласование акторов считается успешным в том и только в том случае, если завершаются успехом все повторные доказательства.
Примечание. В результате повторного доказательства недетерминированного актора, могут возникать новые точки выбора.
Ссылки: актор 7.1, актор-представитель 5.2.2, исполнение предиката 6.3.1, локальные значения 7.2, нейтральные акторы 7.1, общие переменные 7.2, повторные доказательства 7.1, порт 5.2.2, процесс 5.2, согласование акторов 7.3, сопоставление локальных значений 7.3.1.
Следующий:
7.4. СОГЛАСОВАНИЕ ПРОЦЕССОВ
Предыдущий:
7.3.1. СОПОСТАВЛЕНИЕ ЛОКАЛЬНЫХ ЗНАЧЕНИЙ
7.3. СОГЛАСОВАНИЕ АКТОРОВ ПРОЦЕССА
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)