4.1 Репозиция асинхронного процесса «Звукозапись»

P=<S, F, I, R>.

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

S=IURUSD={S1, S2, S5, S6, S7, S8}U{S9} U{S10} - множество ситуаций процесса-репозиции, составленное по определению. В данном случае, учитывая специфику процесса, а именно: доминирующую роль инициатора S1, который находится в отношении эквивалентности E со всеми остальными инициаторами и по семантике является «точкой перед развилкой ветвей процесса», исключим из множества S инициаторы {S2, S5, S6, S7, S8}, оставив лишь эквивалентный им S1.

S:=S{S2, S5, S6, S7, S8}={S1}U{S9} U{S10} - итоговое множество ситуаций процесса-репозиции.

· S1 - главный инициатор исходного процесса;

· S9 - единственный результант исходного процесса;

· S10 - единственная дополнительная ситуация для процесса-репозиции.

Таблица №2

Инициаторы процесса:

По определению процесса-репозиции IR: I=R={S9} - репозиция начинается, когда звукозапись завершена (возвращен сигнал об успешном окончании звукозаписи).

Результанты процесса:

По определению процесса-репозиции RI: R={S1} - результат репозиции - возобновление состояния для начала звукозаписи.

Множество дополнительных ситуаций процесса:

SD={S10=10001}// Конфликтная ситуация «есть сигнал в DSP и процесс завершен» - это аналог прерывания, обрабатывается, как сброс всех настроек процесса и возврат к началу звукозаписи.

Отношение непосредственного следования процесса:

F: представлено графом (рис. 2)

(рис. 2)

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

1. Репозиция имеет место быть, так как F не пустое множество.

2. Репозиция не полная (по определению), так как нарушается условие (R=I)&( I=R), но с точки зрения работы процесса (доминирующее свойство инициатора S1), объединение исходного процесса и полученной репозиции образует автономный процесс.