Контрольная работа: Процесс установки модемного соединения
Граф процесса
Инициаторы:
- ситуация, при которой
функционирует контроллер, что свидетельствует о готовности устройства к
выполнению своих основных функций, то есть непосредственно инициирует данный
процесс;
- ситуации ожидания и дозвона
инициируют модемное соединение и процесс приёма/передачи информации (собственно,
основной функции модема).
- ситуация, когда получен ответ от
другого модема, непосредственно инициирует процесс приёма/передачи информации
(то есть только после получения ответа о готовности обоих устройств возможен
процесс передачи информации);
Результанты:
- ситуация декодирования
информации, то есть получение готового к дальнейшей обработке фрагмента информации,
что и является результатом работы устройства модем;
- ситуация отправки фрагмента
информации, аналогично 
является результатом
функционирования устройства.
Классы эквивалентности:
Начальный класс - 
;
Заключительные классы - 
, 
.
Траектории - 
Свойства исходного асинхронного процесса:
1) АП является эффективным, т.к. из инициаторов все траектории ведут в результанты, и каждая из траекторий, приводящая к результантам, начинается в каком-либо инициаторе;
2) АП не является управляемым, так как траектории
из инициаторов ведут в различные заключительные классы 
, 
, то есть существует
неопределённость;
3) АП не является простым, т.к. из
инициатора 
можно
попасть в другие инициаторы 
, что противоречит условию: 
.
4. Операции над процессами
4.1 Репозиция
Исходный процесс за один раз может передать или принять только один фрагмент информации. Для того, чтобы процесс был более универсальным и мог передавать/принимать неограниченное количество блоков информации, над процессом можно совершить операцию репозиции, т.е. повторно активизировать процесс.
В результате репозиции
получим АП
,
где 
, 
, 
.
Объединение графа исходного процесса с репозицией.
|
|
|
Отношение 
задаёт траектории
переходов от элементов из множества 
к элементам множества 
. Так как 
, но 
и 
, то репозиция
является частичной. Ввиду относительной простоты процесса дополнительно не
оговаривается, в какой момент времени процесс будет остановлен.
Операция репозиции позволила добиться необходимого результата – возобновить процесс с момента выбора приёма/передачи информации и продолжать процесс передачи необходимое число раз.
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 |
