Процесс установки модемного соединения - Контрольная работа

Выбрать вычислительный процесс и на его примере: - построить метамодель «асинхронный процесс» и определить свойства исходного процесса на основе анализа метамодели;Процесс представлен в упрощенном виде: модем переводится в режим ожидания, либо набора номера, после чего происходит коммутация; после установки связи с помощью модема можно отправлять и получать информацию от сходного устройства. Сначала пользователь либо устанавливает модем в режим ожидания, либо инициирует набор номера, при котором функционирует реле. После этого модему необходимо получить ответ от другого аналогичного устройства. В зависимости от того, принимается или получается информация, возможны два варианта. Информация получается: входящий фрагмент данных сначала демодулируется демодулятором, после чего расшифровывается декодером.Исходный процесс за один раз может передать или принять только один фрагмент информации. Для того, чтобы процесс был более универсальным и мог передавать/принимать неограниченное количество блоков информации, над процессом можно совершить операцию репозиции, т.е. повторно активизировать процесс.Редукция предусматривает выделение из исходного процесса некоторой части. В данном случае попытаемся выделить из исходного процесса ту часть, которая выполняет какую-то логически завершенную функцию, конкретно - прием информации, то есть выделим одну из веток процесса, которая несет конкретную функциональную нагрузку. Выбираем такие компоненты специально, чтобы от них отсечь «посторонние» и получить необходимую редукцию (именно эти компоненты отвечают за прием информации).Один из них исходный процесс , другой - вновь построенный . Процесс : В качестве дополнительного процесса построим вспомогательный процесс, проверяющий наличие и функционирование драйвера модема. Граф процесса : Выделим в исходном процессе первую (контроллер) и девятую (вспомогательный флаг) компоненты в качестве выходных. Выбираем контроллер, так как он является основным показателем работоспособности устройства, и некоторую дополнительную вспомогательную компоненту - флаг, необходимый для распознавания удачной инициализации драйвера (флаг введен в процесс несколько искусственным образом). Выбираем в исходном процессе ситуации, при которых функционирует котроллер (первая компонента; т.е. все ситуации).Предметная интерпретация согласована с приложением и зависит от специфики решаемой задачи.Сетью Петри называется пятерка . переход к состоянию, когда получен ответ (от режима ожидания); переход к состоянию, когда получен ответ (от режима набора номера); Места являются ограниченными (существует число достижимой в сети разметки M справедливо ) вся сеть является ограниченной; Сеть не является устойчивой, так как существуют переходы, которые, сработав, могут лишить другой переход этой возможности: переходы и взаимно блокируются;АП является общей моделью описания динамики поведения параллельно функционирующих систем. Эта модель задает допустимые последовательности действий над некоторыми объектами систем, каждой из которых соответствует некоторая траектория АП. Процесс представляется в сильно упрощенном виде, т.к. целью выполнения задания является не построение сложной модели, близкой к реальной, а изучение основ создания модели «асинхронный процесс», операций над процессом. Результатом является построение модели, с помощью которой можно проанализировать заданный процесс: выделены компоненты и ситуации процесса, построен граф (наглядное представление функционирования процесса), проведены операции над процессом: репозиция - повторное выполнение передачи фрагмента информации; редукция - выделение в исходном процессе подпроцесса по непосредственному приему информации; композиция - построение последовательной композиции из исходного процесса и вновь созданного подпроцесса).

Содержание

1. Задание

2. Описание процесса

3. Построение метамодели «асинхронный процесс»

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

4.1 Репозиция

4.2 Редукция

4.3 Композиция

5. Предметная интерпретация асинхронного процесса

5.1 Построение сети Петри

Заключение

1. Задание

асинхронный процесс репозиция сеть петри

АП является общей моделью описания динамики поведения параллельно функционирующих систем. Эта модель задает допустимые последовательности действий над некоторыми объектами систем, каждой из которых соответствует некоторая траектория АП. АП - модель управляющей структуры системы. АП можно понимать как метамодель, порождающую различные широко используемые динамические модели. Порождение частных моделей использует механизм интерпретации АП.

В данном РГЗ рассматривается процесс функционирования модема. Процесс представляется в сильно упрощенном виде, т.к. целью выполнения задания является не построение сложной модели, близкой к реальной, а изучение основ создания модели «асинхронный процесс», операций над процессом. Результатом является построение модели, с помощью которой можно проанализировать заданный процесс: выделены компоненты и ситуации процесса, построен граф (наглядное представление функционирования процесса), проведены операции над процессом: репозиция - повторное выполнение передачи фрагмента информации; редукция - выделение в исходном процессе подпроцесса по непосредственному приему информации; композиция - построение последовательной композиции из исходного процесса и вновь созданного подпроцесса). Проведена предметная интерпретация АП: процесс эффективен, но есть узкое место в функционировании системы после репозиции. Описаны составляющие модели «асинхронный процесс», используя понятия модели «сеть Петри». Проведен анализ свойств мест сети Петри на ограниченность и безопасность: сеть ограниченная и безопасная. Проведен анализ свойств переходов сети Петри на живость и устойчивость: сеть не является потенциально живой, и не является устойчивой.

Размещено на