где: jмножество элементарных операторов; /3линейный порядок на jfy1" ^; /инициатор. Следует обратить внимание, что АМП содержит один и только один инициатор, т.е. каждому процессу соответствует один инициатор. В этом смысле инициатор является представителем процесса, при его потери либо отсутствии развитие процесса прекращается. Если в системе развивается одновременно т процессов, то в модели присутствует т инициаторов. Линейную последовательность элементарных операторов назовем треком TR: Таким образом, можно АМП определить также как двойку: AMU= | |
Следует обратить внимание, что А М П содержит один и только один инициатор, т.е. каждому процессу соответствует один инициатор. В этом смысле инициатор является представителем процесса, при его потери либо отсутствии развитие процесса прекращается. Если в системе развивается одновременно т процессов, то в модели присутствует т инициаторов. Линейную последовательность элементарных операторов назовем треком TR: Процесс задан, если задан трек элементарных операторов и инициатор. Пусть задан некоторый трек TR. В реальных приложениях трек содержит достаточно много элементарных операторов, выполняющих одни и те же операции над аргументами. Операторы эквивалентны, если при одних и тех же значениях аргументов они вычисляют одинаковые результаты. Введение понятия эквивалентных операторов позволяет задать отношение эквивалентности на множестве {/?,}"_[ элементарных операторов трека 77?. Выполним классификацию блоков, опираясь на способы генерации процессов, рассмотренные ранее. А г р е г а т . Блок, в котором развивается один единственный процесс, называется агрегатом, или ^[-блоком. Это означает, что агрегат содержит единственный инициатор, и трек элементарных операторов замкнут внутри блока. Будем обозначать агрегат на схемах в виде (рис.2 . 1 .а). Поскольку инициатор не покидает пределы блока, то его локальная среда (если она существует) не доступна другим блокам и обмен между (2.14) Таким образом, можно А М П определить также как двойку: АМП=<77?,/>. (2.15) |