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