4.3 Композиция

Рассмотрим два АП. Один из них исходный процесс , другой - вновь построенный .

Процесс :

В качестве дополнительного процесса построим вспомогательный процесс, проверяющий наличие и функционирование драйвера модема.

Компоненты процесса :

C - контроллер;

D - драйвер;

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

1. Драйвер функционирует и способен управлять модемом C-D+

2. Модем готов к работе C+D+

Инициатор: .

Результант: .

Граф процесса :

Выделим в исходном процессе первую (контроллер) и девятую (вспомогательный флаг) компоненты в качестве выходных. Выбираем контроллер, так как он является основным показателем работоспособности устройства, и некоторую дополнительную вспомогательную компоненту - флаг, необходимый для распознавания удачной инициализации драйвера (флаг введён в процесс несколько искусственным образом).

Выбираем в исходном процессе ситуации, при которых функционирует котроллер (первая компонента; т.е. все ситуации).

Таким образом, получаем исходный процесс целиком. То есть исходный процесс совпадает со своей редукцией. Это вполне соответствует действительности, так как котроллер функционирует на всех стадиях работы модема и дополнительный процесс (который известен заранее) выполняет функцию предварительной подготовки модема, которая распространяется на всё устройство. Тогда редукция процесса по множеству :

, то есть получаем весь исходный процесс.

Выделим в дополнительном процессе входную компоненту. Эта компонента будет совпадать со всем набором компонент процесса .

В качестве выберем все наборы входной компоненты дополнительного процесса. Дополнительный процесс представлен простой линейной структурой, которая не нуждается в дополнительном упрощении.

Сцепление процессов будет происходить по компоненте . То есть выходная компонента процесса соответствует входной компоненте .

Построим композицию исходного процесса и дополнительного .

Граф композиции:

Обеспечены условия 1, 2, 3, 4:

1),:

2) выходные компоненты ситуаций из равны входной компоненте ситуации из

3) если в компонента , то

4) если , то

Таким образом, выбрав в качестве дополнительного процесса небольшой подпроцесс, предшествующий основному процессу, построили композицию этих процессов путём выделения входных и выходных компонент соответсвующих процессов и последующего их (процессов) сцепления. Исходный процесс не стали упрощать с помощью репозиции, так как по смыслу данной композиции модель должна сохранить свою целостностью. Получившийся процесс представляет собой несколько усложнённый исходный процесс.