Операции над процессами

Репозиция

Исходный процесс за один раз может передать или принять только один фрагмент информации. Для того, чтобы процесс был более универсальным и мог передавать/принимать неограниченное количество блоков информации, над процессом можно совершить операцию репозиции, т.е. повторно активизировать процесс.

В результате репозиции получим АП , где , , .

 

 

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

 

 

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

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

Редукция

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

Таблица векторов.

	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 (наличие установленной связи) элементы векторов ситуаций. Выбираем такие компоненты специально, чтобы от них отсечь «посторонние» и получить необходимую редукцию (именно эти компоненты отвечают за приём информации).

Выберем различных значений входной компоненты: .

Тогда редукция по :

 

Граф редукции.

 

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

 

Композиция

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

Процесс :

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

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

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

D – драйвер;

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

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

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

 

	D	C
	1	0
	1	1

Инициатор: .

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

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

 

 

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

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

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

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

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

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

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

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

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

 

 

 

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

 

1) , :

 

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

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

4) если , то

 

 

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