Процесс установки модемного соединения
Содержание1. Задание2. Описание процесса3. Построение метамодели «асинхронный процесс»4. Операции над процессами4.1 Репозиция4.2 Редукция4.3 Композиция5. Предметная интерпретация асинхронного процесса5.1 Построение сети ПетриЗаключение1. ЗаданиеВыбрать вычислительный процесс и на его примере:построить метамодель «асинхронный процесс» и определить свойства исходного процесса на основе анализа метамодели;выполнить операции над процессом: репозиция, редукция, композиция, и оценить полученные результаты с практической точки зрения;построить предметную интерпретацию метамодели на основе сети Петри и сделать вывод о динамических характеристиках исходного процесса.Оформить отчет. 2. Описание процессаВ данном РГЗ рассматривается процесс установки модемного соединения и последующей передачи информации. Процесс представлен в упрощённом виде: модем переводится в режим ожидания, либо набора номера, после чего происходит коммутация; после установки связи с помощью модема можно отправлять и получать информацию от сходного устройства. Всеми действиями управляет контроллер, поэтому он присутствует во всех ситуациях процесса. Сначала пользователь либо устанавливает модем в режим ожидания, либо инициирует набор номера, при котором функционирует реле. После этого модему необходимо получить ответ от другого аналогичного устройства. В зависимости от того, принимается или получается информация, возможны два варианта. Информация получается: входящий фрагмент данных сначала демодулируется демодулятором, после чего расшифровывается декодером. Отправка данных: исходящий фрагмент информации кодируется кодером, модулируется модулятором, потом непосредственно отправляется.3. Построение метамодели «асинхронный процесс»Компоненты:C – контроллер 1 – работает;0 – не работает;MO – модулятор1 – работает, модулируется закодированный фрагмент информации;0 – в данный момент бездействует;DEM – демодулятор1 – работает, демодулируется фрагмент информации;0 - в данный момент бездействует;K – кодер1 – функционирует, кодирует фрагмент информации;0 - в данный момент бездействует;DK – декодер1 - функционирует, декодирует фрагмент информации;0 - в данный момент бездействует;R – реле1 – работает, реле набирает телефонный номер;0 - в данный момент бездействует;W – режим ожидания1 – модем находится в режиме ожидания входящего звонка;0 - модем не находится в режиме ожидания входящего звонка;A – получен «ответ»1 – удалённый модем отвечает на запросы;0 - удалённый модем не отвечает на запросы;F –флаг1 – установлен;0 – не установлен.Ситуации:Модем готов к работеC+MO-DEM-K-DK-R-W-A-F+Ожидание входящего звонкаC+MO-DEM-K-DK-R-W+A-F-Состояние набора номераC+MO-DEM-K-DK-R+W-A-F-Связь установленаC+MO-DEM-K-DK-R-W-A+F-Поступление фрагмента информацииC+MO-