4.3.3 Композиция процессов «Звукозапись» и «Подготовка к звукозаписи»

Имеются два процесса и их редукции, построим их последовательную композицию. Семантика композиции: процесс подготовки к звукозаписи, точнее его успешное выполнение (редукция 4.3.3), запускает непосредственно сам процесс оцифровки, точнее, его «одиночный проход» (редукция 4.2), эти два процесса сцепляются последовательно.

Процесс Р1 - подготовка к звукозаписи и его редукция по выходной компоненте (рис. 6).

Ситуации редукции Р1*:

S*1= {S11, S13, S15, S17,S18}={100000, 110000, 111000, 111100, 111110}.

Множество выходных компонент для редукции:

Y*1={00,10}.

(рис. 6)

Процесс Р - звукозапись и его редукция по входной компоненте (рис. 7).

Ситуации редукции Р*:

S*={ S1, S6, S7, S8, S9}={10000, 01000, 01100, 00110, 00011}.

Множество входных компонент для редукции:

X*={10,01,00}.

(рис. 7)

В нашем случае некоторые значения выходной компоненты y1 (ситуаций редукции Р1*) совпадают со значениями входной компоненты x (ситуаций редукции Р*).

Построим процесс Р3 - композицию двух процессов-редукций Р1*=P1(Y*) и Р*= P(X*)

Р3=<S3, F3, I3, R3 >. Два процесса сцепляются через ситуации S18 (процесса P1(Y*)) и S1 (процесса P(X*)), эти ситуации имеют одинаковые входную и выходную компоненты соответственно. Процесс композиции, таким образом, находится в пространстве одной ситуации S3={S18, S1}, где выполняются необходимые условия определения последовательной композиции:

1. [S1i S1(Y*)]&[ Sj S(X*)];

2. S18 =(111110), S1=(10000) выходная и входная компонента сцепляемых ситуаций процессов совпадают;

3. Не нарушается логика работы сцепляемых процессов: S18 =R1(Y*), S1 =I(X*);

4. если , то выполняется одно из трех допущений, то есть предикат

будет принимать значение «истина».

Ситуации процессов:

Пограничная ситуация выделена курсивом.

Таблица №4

Ситуации процесса Р3:

Таблица №4.1

Отношение непосредственного следования F3 представлено на (рис. 8):

(рис. 8)

Исследование процесса и выводы:

Эффективность процесса. Проверим это свойство - процесс должен удовлетворять трем условиям эффективности:

4. ()=TRUE. Из любой ситуации (не результанта) в этом процессе есть траектория к результанту (в данном случае - единственному);

5. ()=TRUE. Любая траектория, приводящая к результанту, начинается в инициаторе;

6. (не ситуаций )=TRUE.

Таким образом, данный процесс является эффективным, так как удовлетворяет этим условиям. Процесс является управляемым (это очевидно, ведь он линейный), но не является простым, так как инициатор S1 переходит к ситуации S6, которая тоже является инициатором.

В результате операции композиции был получен процесс, который, является эффективным, управляемым и непростым.

Процесс подготовки к звукозаписи, точнее его успешное выполнение (редукция 4.3.3), запускает непосредственно сам процесс оцифровки, точнее, его «одиночный проход» (редукция 4.2), эти два процесса сцепляются последовательно.