Запись на магнитный носитель
Контрольная работа - Компьютеры, программирование
Другие контрольные работы по предмету Компьютеры, программирование
µ траектории ведут в результанты, а каждая из траекторий, ведущих к результанту, начинается в каком-либо инициаторе.
Разобьем процесс на классы эквивалентности:
Для некоторого подмножества множества ситуаций S можно определить отношение E, такое что:
.
.
Для данного асинхронного процесса ни одно из этих условий не выполняется, => ни одна пара ситуаций ни находится в отношении эквивалентности, => классы эквивалентности для данного процесса совпадают с ситуациями, => все начальные классы совпадают с инициаторами, а все конечные классы совпадают с результантами.
Проверим процесс на управляемость:
Если в эффективном процессе каждая допустимая последовательность классов ведет из начального класса в один и только один заключительный класс, то такой процесс называется управляемым. В данном процессе допустимы последовательности, ведущие в разные заключительные классы, => данный процесс не является управляемым.
Проверим процесс на простоту:
.
.
Т.к. ни одно из этих условий для данного процесса не выполняется, => данный процесс не является простым.
Вывод: В качестве процесса был взят процесс подготовки записи на дискету. Для данного процесса была построена метамодель Асинхронный процесс: были выявлены компоненты процесса, ситуации, возникающие в ходе выполнения процесса. Среди ситуаций данного процесса были выявлены инициаторы, т.е. ситуации, инициирующие процесс, и результанты, т.е. ситуации, завершающие процесс. Также были определены траектории переходов процесса от инициаторов к результантам и построен граф процесса. Было выявлено, что данный процесс является эффективным, но не является ни простым, ни управляемым.
4.Операции над процессами
.1 Репозиция
Построим репозицию
/ , ,
Признаком полноты репозиции является условие . Т.к. в данном случае , то репозиция является частичной, и частично приведенный процесс совпадает с исходным.
Репозиция позволяет инициировать процесс повторно после его выполнения. Для данной модели это означает, что после записи запрос на запись может возникать повторно.
4.2 Редукция
Операция редукции заключается в сведении процесса к более простому. Эта операция необходима, когда из полного описания процесса хочется выделить некоторую его часть, рассмотрение которой интересно по тем или иным причинам.
Выделим из исходного процесса ту его часть, которая отображает ход процесса при наличии заголовка у дискеты.
Выберем в качестве входной компоненты элементы 3(наличие заголовка), 5(наличие защиты), 6(наличие свободного места) векторов ситуаций, т.к. именно эти компоненты определяют, будет ли процесс продолжаться.
выберем так, чтобы посмотреть поведение процесса при неизменной 3 компоненте, равной 1, т.е. при наличии заголовка дискеты, и при неизменной 5 компоненте, равной 0, т.е. при отсутствии защиты.
Тогда редукция процесса P по множеству :
1.
.
.
.
.3 Композиция
Возьмем в качестве второго процесса для композиции процесс форматирования дискеты при отсутствии у нее заголовка и построим последовательную композицию исходного процесса и процесса форматирования дискеты.
Выделим в исходном процессе выходную компоненту: записывающая головка, заголовок дискеты, т.к. эти компоненты в исходном процессе определяют его состояние в отношении проверки наличия заголовка.
Выделим из исходного процесса ту его часть, которая отображает ход процесса при отсутствии заголовка у дискеты, т.е. при второй компоненте, равной 0.
Тогда редукция процесса по множеству :
Компоненты дополнительного процесса: записывающая головка, заголовок дискеты
Ситуации дополнительного процесса:
S = {S31, S32, S33}
) Записывающая головка проверяет наличие заголовка, заголовок отсутствует: S31 = {10}
) Записывающая головка форматирует дискету, при этом создается заголовок: S32 = {11}
) Записывающая головка останавливается, при этом заголовок создан: S33 = {01}
S31 S32 S33
I = {S31}
R = {S33}
Выделим в дополнительном процессе входную компоненту (она будет совпадать со всем набором компонент дополнительного процесса): записывающая головка, заголовок дискеты, т.к. эти компоненты в дополнительном процессе определяют его состояние в отношении форматирования дискеты, т.е. создания заголовка.
В качестве выберем все наборы входной компоненты дополнительного процесса, т.к. редукция подразумевает сведение процесса к более простому процессу, а процесс форматирования дискеты представлен линейной структурой из 3 ситуаций с одним инициатором и одним результантом и на данном наборе компонент не может быть сведен к более простому.
Т.о., обеспечивается соответствие выходной компоненты исходного процесса и входной компоненты дополнительного процесса: 2, 4 компоненты исходного процесса совпадают с 1,2 компонентами дополнительного процесса.
Построим последовательную композицию исходного процесса и дополнительного процесса.
Таким образом, обеспечены условия 1), 2), 3) и 4):
),:
) выходные компоненты ситуаций из равны входной компоненте ситуации из
) если в компонента , то
) е?/p>