Контрольная работа: Процесс установки модемного соединения
В качестве входной компоненты выберем 3 (демодулятор), 5 (декодер) и 8 (наличие установленной связи) элементы векторов ситуаций. Выбираем такие компоненты специально, чтобы от них отсечь «посторонние» и получить необходимую редукцию (именно эти компоненты отвечают за приём информации).
Выберем 
различных значений
входной компоненты: 
.
Тогда редукция по 
:
Граф редукции.
В результате редукции удалось выделить требуемый подпроцесс – приём фрагмента информации. Таким образом, выбирая определённые входные компоненты вектором, можно выделять любой подпроцесс в системе, при этом получая более простой по своей структуре процесс.
4.3 Композиция
Рассмотрим два АП. Один
из них исходный процесс 
, другой – вновь построенный 
.
Процесс 
:
В качестве дополнительного процесса построим вспомогательный процесс, проверяющий наличие и функционирование драйвера модема.
Компоненты процесса 
:
C – контроллер;
D – драйвер;
Ситуации процесса 
:
1. Драйвер функционирует и способен управлять модемом C-D+
2. Модем готов к работе C+D+
| D | C | |
|
|
1 | 0 |
|
|
1 | 1 |
Инициатор: 
.
Результант: 
.
Граф процесса 
:
Выделим в исходном процессе первую (контроллер) и девятую (вспомогательный флаг) компоненты в качестве выходных. Выбираем контроллер, так как он является основным показателем работоспособности устройства, и некоторую дополнительную вспомогательную компоненту – флаг, необходимый для распознавания удачной инициализации драйвера (флаг введён в процесс несколько искусственным образом).
Выбираем в исходном процессе ситуации, при которых функционирует котроллер (первая компонента; т.е. все ситуации).
Таким образом, получаем
исходный процесс целиком. То есть исходный процесс совпадает со своей
редукцией. Это вполне соответствует действительности, так как котроллер
функционирует на всех стадиях работы модема и дополнительный процесс (который
известен заранее) выполняет функцию предварительной подготовки модема, которая
распространяется на всё устройство. Тогда редукция процесса 
по множеству 
:
, то есть получаем весь исходный
процесс.
Выделим в дополнительном
процессе входную компоненту. Эта компонента будет совпадать со всем набором
компонент процесса 
.
В качестве 
выберем все наборы
входной компоненты дополнительного процесса. Дополнительный процесс 
представлен
простой линейной структурой, которая не нуждается в дополнительном упрощении.
Сцепление процессов будет
происходить по компоненте 
. То есть выходная компонента
процесса 
соответствует
входной компоненте 
.
Построим композицию
исходного процесса 
и дополнительного 
.
Граф композиции:
Обеспечены условия 1, 2, 3, 4:
1)
,
:
2) выходные компоненты 
ситуаций из 
равны входной
компоненте 
ситуации
из 
3) если в 
компонента 
, то 
4) если 
, то
Таким образом, выбрав в
качестве дополнительного процесса небольшой подпроцесс, предшествующий основному
процессу, построили композицию этих процессов путём выделения входных и
выходных компонент соответствующих процессов и последующего их (процессов)
сцепления. Исходный процесс не стали упрощать с помощью репозиции, так как по
смыслу данной композиции модель должна сохранить свою целостностью. Получившийся
процесс 
представляет
собой несколько усложнённый исходный процесс.
5. Предметная интерпретация асинхронного процесса
Предметная интерпретация согласована с приложением и зависит от специфики решаемой задачи.
1) Система выполняет те функции, для которых она предназначена;
2) Данная система функционирует эффективно;
3) В исходном АП ошибки и аварийные ситуации возникнуть не могут (именно в рамках рассматриваемого процесса), в редуцированном процессе есть потенциально узкие места – не оговаривается условие остановки процесса;
