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
№ |
DSP |
V |
RAM |
HDD |
T |
№ |
|
1 |
1 |
0 |
0 |
0 |
0 |
1 |
|
9 |
0 |
0 |
0 |
1 |
1 |
9 |
|
10 |
1 |
0 |
0 |
0 |
1 |
10 |
|
№ |
DSP |
V |
RAM |
HDD |
T |
№ |
Инициаторы процесса:
По определению процесса-репозиции IR: I=R={S9} - репозиция начинается, когда звукозапись завершена (возвращен сигнал об успешном окончании звукозаписи).
Результанты процесса:
По определению процесса-репозиции RI: R={S1} - результат репозиции - возобновление состояния для начала звукозаписи.
Множество дополнительных ситуаций процесса:
SD={S10=10001}// Конфликтная ситуация «есть сигнал в DSP и процесс завершен» - это аналог прерывания, обрабатывается, как сброс всех настроек процесса и возврат к началу звукозаписи.
Отношение непосредственного следования процесса:
F: представлено графом (рис. 2)
(рис. 2)
Исследование и выводы:
1. Репозиция имеет место быть, так как F не пустое множество.
2. Репозиция не полная (по определению), так как нарушается условие (R=I)&( I=R), но с точки зрения работы процесса (доминирующее свойство инициатора S1), объединение исходного процесса и полученной репозиции образует автономный процесс.
- §1. Постановка задачи
- §2. Описание процесса звукозаписи
- §3. Построение метамодели «асинхронный процесс»
- §4. Операции над процессами
- 4.1 Репозиция асинхронного процесса «Звукозапись»
- 4.2 Редукция асинхронного процесса «Звукозапись»
- 4.3 Композиция процессов
- 4.3.1 Асинхронный процесс «Подготовка к звукозаписи»
- 4.3.2 Редукция асинхронного процесса «Подготовка к звукозаписи»
- 4.3.3 Композиция процессов «Звукозапись» и «Подготовка к звукозаписи»
- §5. Предметная интерпретация асинхронного процесса
- §6. Заключение