Процесс установки модемного соединения (стр. 2 из 4)
Операция репозиции позволила добиться необходимого результата – возобновить процесс с момента выбора приёма/передачи информации и продолжать процесс передачи необходимое число раз.
4.2 Редукция
Редукция предусматривает выделение из исходного процесса некоторой части. Операция состоит в сведении данного АП к более простому. В данном случае попытаемся выделить из исходного процесса ту часть, которая выполняет какую-то логически завершённую функцию, конкретно – приём информации, то есть выделим одну из веток процесса, которая несёт конкретную функциональную нагрузку.
Таблица векторов.
| C | MO | DEM | K | DK | R | W | A | F | |
 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |
 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 |
 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
В качестве входной компоненты выберем 3 (демодулятор), 5 (декодер) и 8 (наличие установленной связи) элементы векторов ситуаций. Выбираем такие компоненты специально, чтобы от них отсечь «посторонние» и получить необходимую редукцию (именно эти компоненты отвечают за приём информации).
Выберем
различных значений входной компоненты: 
. 
Тогда редукция по
: 
Граф редукции.
 |
В результате редукции удалось выделить требуемый подпроцесс – приём фрагмента информации. Таким образом, выбирая определённые входные компоненты вектором, можно выделять любой подпроцесс в системе, при этом получая более простой по своей структуре процесс.
4.3 Композиция
Рассмотрим два АП. Один из них исходный процесс
, другой – вновь построенный 
.Процесс
:В качестве дополнительного процесса построим вспомогательный процесс, проверяющий наличие и функционирование драйвера модема.
Компоненты процесса :
C – контроллер;
D– драйвер;
Ситуации процесса :
1. Драйвер функционирует и способен управлять модемом C-D+
2. Модем готов к работе C+D+
| D | C | |
 | 1 | 0 |
 | 1 | 1 |
Инициатор: 
.
Результант:
.Граф процесса :
 |
Выделим в исходном процессе первую (контроллер) и девятую (вспомогательный флаг) компоненты в качестве выходных. Выбираем контроллер, так как он является основным показателем работоспособности устройства, и некоторую дополнительную вспомогательную компоненту – флаг, необходимый для распознавания удачной инициализации драйвера (флаг введён в процесс несколько искусственным образом).
Выбираем в исходном процессе ситуации, при которых функционирует котроллер (первая компонента; т.е. все ситуации).
Таким образом, получаем исходный процесс целиком. То есть исходный процесс совпадает со своей редукцией. Это вполне соответствует действительности, так как котроллер функционирует на всех стадиях работы модема и дополнительный процесс (который известен заранее) выполняет функцию предварительной подготовки модема, которая распространяется на всё устройство. Тогда редукция процесса
по множеству 
: 
, то есть получаем весь исходный процесс.Выделим в дополнительном процессе входную компоненту. Эта компонента будет совпадать со всем набором компонент процесса .
В качестве
выберем все наборы входной компоненты дополнительного процесса. Дополнительный процесс представлен простой линейной структурой, которая не нуждается в дополнительном упрощении. 
Сцепление процессов будет происходить по компоненте
. То есть выходная компонента процесса соответствует входной компоненте .Построим композицию исходного процесса
и дополнительного . 
Граф композиции:
Обеспечены условия 1, 2, 3, 4:
1)
, 
: 
2) выходные компоненты
ситуаций из 
равны входной компоненте 
ситуации из 