Контрольная работа: Процесс установки модемного соединения

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

D– драйвер;

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

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

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

D	C
	1	0
	1	1

Инициатор: .

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

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

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

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

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

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

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

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

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

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