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