|
Поскольку инициатор не покидает пределы блока, то его локальная среда (если она существует) не доступна другим блокам и обмен между агрегатом и другими блоками возможен исключительно посредством параметров. А Обозначения блоков К iк а) агрегат б) процессор Рис. 2.1. в) контроллер По определению в агрегат невозможно поступление других инициаторов. По этой же причине в агрегате нет необходимости использовать объединенные элементарные операторы и организовывать локальную среду процесса. Агрегат, по сути, представляет собой машину по переработке значений параметров в соответствие с собственным алгоритмом функционирования, заданным внутренним процессом. Процессор. Блок, предназначенный для генерации подобных процессов, инициаторы которых являются внешними по отношению к блоку, называется процессором, или /7-блоком. Из определения следует, что внутренних локальных процессов блок не имеет, инициаторы извне сцепляются с блоком, порождая подпроцессы, и затем покидают его. Поскольку процессор генерирует подобные процессы, то в нем используются исключительно объединенные элементарные операторы, а инициаторы должны содержать локальные среды. Таким образом, процессор пороэюдает параллельно протекающие во времени подобные процессы. Будем обозначать процессор на схемах в виде (рис.2.1.6). |
Следует обратить внимание, что А М П содержит один и только один инициатор, т.е. каждому процессу соответствует один инициатор. В этом смысле инициатор является представителем процесса, при его потери либо отсутствии развитие процесса прекращается. Если в системе развивается одновременно т процессов, то в модели присутствует т инициаторов. Линейную последовательность элементарных операторов назовем треком TR: Процесс задан, если задан трек элементарных операторов и инициатор. Пусть задан некоторый трек TR. В реальных приложениях трек содержит достаточно много элементарных операторов, выполняющих одни и те же операции над аргументами. Операторы эквивалентны, если при одних и тех же значениях аргументов они вычисляют одинаковые результаты. Введение понятия эквивалентных операторов позволяет задать отношение эквивалентности на множестве {/?,}"_[ элементарных операторов трека 77?. Выполним классификацию блоков, опираясь на способы генерации процессов, рассмотренные ранее. А г р е г а т . Блок, в котором развивается один единственный процесс, называется агрегатом, или ^[-блоком. Это означает, что агрегат содержит единственный инициатор, и трек элементарных операторов замкнут внутри блока. Будем обозначать агрегат на схемах в виде (рис.2 . 1 .а). Поскольку инициатор не покидает пределы блока, то его локальная среда (если она существует) не доступна другим блокам и обмен между (2.14) Таким образом, можно А М П определить также как двойку: АМП=<77?,/>. (2.15) агрегатом и другими блоками возможен исключительно посредством параметров. Обозначения блоков л . с •N П V К ▲ а) агрегат б) процессор Рис. 2.1. в) контроллер По определению в агрегат невозможно поступление других инициаторов. По этой же причине в агрегате нет необходимости использовать объединенные элементарные операторы и организовывать локальную среду процесса. Агрегат, по сути, представляет собой машину по переработке значений параметров в соответствие с собственным алгоритмом функционирования, заданным внутренним процессом. Процессор. Блок, предназначенный для генерации подобных процессов, инициаторы которых являются внешними по отношению к блоку, называется процессором, или /7-блоком. Из определения следует, что внутренних локальных процессов блок не имеет, инициаторы извне сцепляются с блоком, порождая подпроцессы, и затем покидают его. Поскольку процессор генерирует подобные процессы, то в нем используются исключительно объединенные элементарные операторы, а инициаторы должны содержать локальные среды. Таким образом, процессор порождает параллельно протекающие во времени подобные процессы. Будем обозначать процессор на схемах в виде (рис.2 .1 .6 ). Контроллер. Рассмотрим вновь блок типа агрегат. Как было показано выше, он не имеет возможности взаимодействовать с внешними |