Контрольная работа: Запись информации на магнитный носитель
5.1 Репозиция
Репозицией АП задается механизм перехода от результанта к инициаторам
Репозицией АП P = <S,F,I,R> назовем эффективный АП P' = <S', F', I', R'>, такой, что S' ÍIÈRÈSD , I' ÍR, R' ÍI.
Ситуации S' репозиции могут содержать лишь те ситуации из исходного процесса, которые являются лишь инициаторами или результантами, и, кроме того, некоторые дополнительные ситуации из SD , отсутствующие в описании исходного АП.
Отношение F' задает траектории переходов от элементов из I' ÍR к элементам R' ÍI, возможно через дополнительные ситуации из SD .Если I' = R, R' = I, то репозицию назовем полной. Если F' = Æ , то репозиция не существует, в остальных случаях она называется частичной.
Для рассматриваемого процесса имеем:
P' = <S', F', I', R'>
S' Í I È R È SD = { }SD = Æ
I'={ }R'={ }
F':(повторить процесс записи сначала)
(повторить проверку записи данных)
Траектории переходов, которые задает отношение F' показаны на рисунке пунктирной стрелкой.
Вывод: таким образом, построена частичная репозиция асинхронного процесса, суть которой – получение механизма его возобновления. Семантически репозиция означает повтор операции записи (при успешной записи) и повтор операции проверки записанных данных (в случае возникновения ошибки записи).
5.2 Редукция
Операция редукции состоит в сведении данного АП к более простому. Такая операция необходима тогда, когда из полного описания процесса хочется выделить некоторую его часть, рассмотрение которой интересно по тем или иным причинам.
Пусть задан неприведенный АП Р = <S,F,I,R>, ситуации которого структурированы по 2-му способу. Образуем р-блочное разбиение множества S процесса Р, в ситуациях каждого блока которого входная компонента принимает фиксированное значение xj , 1jp.
Выберем r<p различных значений входной компоненты (составляющих множество X*ÌX). Ситуации, входящие в те блоки разбиения, которые соответствуют выбранным значениям входной компоненты составляют подмножество S*, S*ÌS.
Для каждого инициатора si ÎI постоим множество ситуаций S(si ), встречающихся на траекториях процесса Р, ведущих из указанного инициатора.
Образуем множество S(X*), как объединение тех множеств S(si ), для которых справедливо
S(si )S*, т.е. S(X*) =
Построимтакже F(X*) = F Ç (S(X*)´S(X*)),I(X*) = I Ç S(X*), R(X*) = R Ç S(X*).
Назовем процесс P(X*) = <S(X*), F(X*), I(X*), R(X*)> редукцией неприведенного процесса P = <S,F,I,R> по выбранному множеству Х* значений входной компоненты.
Для рассматриваемого процесса имеем:
106.Ситуация | 107.K | 108.S | 109.E | 110.P | 111.W | 112.C | 113.F |
114.S1 | 115.1 | 116.0 | 117.0 | 118.0 | 119.0 | 120.0 | 121.0 |
122.S2 | 123.1 | 124.1 | 125.0 | 126.0 | 127.0 | 128.0 | 129.0 |
130.S3 | 131.1 | 132.0 | 133.1 | 134.0 | 135.0 | 136.0 | 137.0 |
138.S4 | 139.1 | 140.1 | 141.0 | 142.1 | 143.0 | 144.0 | 145.0 |
146.S5 | 147.1 | 148.1 | 149.0 | 150.0 | 151.1 | 152.0 | 153.0 |
154.S6 | 155.1 | 156.1 | 157.0 | 158.0 | 159.0 | 160.1 | 161.0 |
162.S7 | 163.1 | 164.1 | 165.0 | 166.1 | 167.0 | 168.0 | 169.1 |
170.S8 | 171.1 | 172.1 | 173.1 | 174.0 | 175.0 | 176.0 | 177.0 |
S={ }
Выберем в качестве значений входной компоненты первые три элемента вектора.
Выпишем множество X={ 100, 110, 101, 111 }
Редукцию сделаем по следующему множеству X*={100, 101}, то есть семантически рассмотрим ситуацию, когда нет свободного места для записи.
Тогда S* = { }.