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

Объединение графа исходного процесса с репозицией.

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

Операция репозиции позволила добиться необходимого результата – возобновить процесс с момента выбора приёма/передачи информации и продолжать процесс передачи необходимое число раз.

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 Композиция

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

Процесс :

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