Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.cplire.ru/Lab144/1251/01070300.html
Дата изменения: Mon Sep 24 14:54:40 2007 Дата индексирования: Tue Oct 2 02:41:36 2012 Кодировка: Windows-1251 |
Согласованием акторов процесса G называются действия, осуществляемые для обеспечения согласованности акторов процесса. Согласование акторов процесса необходимо для того, чтобы обеспечить существование производных значений общих переменных этого процесса.
Согласование акторов включает:
Ссылки: актор 7.1, нейтрализация актора 7.1, общие переменные 7.2, повторные доказательства 7.1, производные значения 7.2, процесс 5.2, согласованность акторов 7.2, сопоставление локальных значений 7.3.1.
Следующий:
7.3.1. СОПОСТАВЛЕНИЕ ЛОКАЛЬНЫХ ЗНАЧЕНИЙ
Предыдущий:
7.2.1. ПОСТРОЕНИЕ ОБЩИХ ПЕРЕМЕННЫХ
7. АКТОРЫ И ПОВТОРНЫЕ ДОКАЗАТЕЛЬСТВА
7.3.1. СОПОСТАВЛЕНИЕ ЛОКАЛЬНЫХ ЗНАЧЕНИЙ
7.3.2. ИСПОЛНЕНИЕ ПОВТОРНЫХ ДОКАЗАТЕЛЬСТВ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)