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