|
К понятию обобщенного оператора п TJ н ] н : Рис. 2.12. Будем Называть трек { Л/, А?, A j) вложенным в оператор Н\. Сцепление инициатора с обобщенным оператором порождает подпроцесс, равный процессу сцепления инициатора со всеми операторами вложенного трека. Это утверждение следует из требования плотности разбиения. Отсюда следует, что время сцепления инициатора с обобщенным блоком равно еремени прохождения инициатора по вложенному треку. Это свойство в дальнейшем будем называть свойством временной вложенности. Если влохсенный трек свернут в структуру, то, в общем случае, будем говорить о вложенных описаниях. Таким образом, используя рекурсивность разбиений греков, формируется многоуровневая система вложенных описаний, обладающая свойством временной вложенности для всех обобщенных операторов на всех смежных уровнях. Переход к описанию обобщенными блоками соответствует операции свертки процессов. Использование обобщенных операторов позволяет еще более снизить размерность описания процессов, однако необходимо иметь в виду, что для генерации процесса мы должны уметь выполнить операцию развертки для каждого обобщенного оператора, определив все вложенные треки. В ходе анализа процессов функционирования системы удобно использовать вложенность процессов описаний обобщенных операторов достаточно высокого уровня. Однако в ходе реализации процесса необходимо иметь |
К понятию обобщенного оператора Будем называть трек ( h j , , h j ) вложенным в оператор Н\. Сцепление инициатора с обобщенным оператором порождает подпроцесс, равный процессу сцепления инициатора со всеми операторами вложенного трека. Это утверждение следует из требования плотности разбиения. Отсюда следует, что время сцепления инициатора с обобщенным блоком равно времени прохождения инициатора по вложенному треку. Это свойство в дальнейшем будем называть свойством временной вложенности Если вложенный трек свернут в структуру, то, в общем случае, будем говорить о вложенных описаниях. Таким образом, используя рекурсивность разбиений треков, формируется многоуровневая система вложенных описаний, обладающая свойством временной вложенности для всех обобщенных операторов на всех смежных уровнях. Переход к описанию обобщенными блоками соответствует операции свертки процессов. Использование обобщенных операторов позволяет еще более снизить размерность описания процессов, однако необходимо иметь в виду, что для генерации процесса мы должны уметь выполнить операцию развертки для каждого обобщенного оператора, определив все вложенные треки. В ходе анализа процессов функционирования системы удобно использовать вложенность процессов описаний обобщенных операторов достаточно высокого уровня. Однако в ходе реализации процесса необходимо иметь |