Граф, отражающий отношение непосредственного следования

Траектории выполнения процесса, классы эквивалентности ситуаций и свойства рассматриваемого процесса

В данном случае имеем следующие траектории:

S₁ → S₂ → S₄ → S₅ → S₆ → S₇ → S₈ – полный процесс, включающий все этапы работы струйного принтера (от задания печати и вплоть до освобождения памяти принтера, при условии, что в лотке содержится бумага).

S₄ → S₅ → S₆ → S₇ – процесс, включающий основные этапы работы струйного принтера, а именно сам механизм печати.

S₂ → S₃ – процесс, осуществляемый в случае отсутствия бумаги в лотке.

Пусть задан асинхронный процесс, у которого:

1. для любой ситуации s, не являющейся инициатором, найдется такой инициатор i, что (i M s),

2. для любой ситуации s, не являющейся результантом, найдется такой результант r, что (s M r),

3. не найдется двух ситуаций s_i и s_j , таких что: (s_i Ï R) & ( s_j Ï R ) & ( s_i M s_j ) & ( s_j M s_i ).

Такой асинхронный процесс называется эффективным. То есть все ситуации эффективного процесса ведут из инициаторов в результанты, а также не должно быть ориентированных циклов, за исключением циклов, состоящих только из результантов.

Бинарное отношение эквивалентности ситуаций, обозначаемое буквой E означает, что либо s_i = s_j , либо (s_i F s_j) и (s_j F s_i). Отношение эквивалентности позволяет построить разбиение множество ситуаций на непересекающиеся классы эквивалентности, такие, что любые две ситуации из одного класса эквивалентны, а любые две ситуации из разных классов не эквивалентны. Для классов эквивалентности определено отношение непосредственного следования F. В допустимых последовательностях классов можно выделить начальные и конечные элементы, которые будем называть соответственно начальными и заключительными классами эквивалентности. Для эффективного АП начальные классы могут состоять только из инициаторов, заключительные - только из результантов.

Для эффективного АП любой класс эквивалентности ситуаций, не принадлежащий результантам, состоит из одной ситуации.

Если в эффективном асинхронном процессе каждая допустимая последовательность классов эквивалентности ведет из каждого начального класса в один и только один заключительный класс, то такой процесс называется управляемым.

В процессе печати струйного принтера все ситуации лежат на пути из инициаторов в результанты, то есть выполняются 1 и 2 свойства; и нет циклов, то есть выполняется свойство 3. Следовательно, можно сделать вывод о том, что данный процесс является эффективным.

В данном процессе начальный класс эквивалентности содержит одну ситуацию s₁, а конечных класса два и они содержат соответственно две ситуации s₇ и s₈ и одну ситуацию s₃, все остальные классы эквивалентности содержат по одному элементу.

Так как некоторые допустимые последовательности классов эквивалентности ведут из начальных классов не в один, а в два заключительных класса, то данный процесс не является управляемым.

Пусть в эффективном асинхронном процессе выполнены следующие условия:

1) для " i Î I и " s Î S: (i F s) Þ (s Ï I);

2) для " r Î R и " s Î S: (s F r) Þ (s Ï R);

т.е. из инициатора (результанта) нельзя попасть в другой инициатор (результант). Иными словами каждая траектория содержит в точности один инициатор и один результант.

Асинхронный процесс, удовлетворяющий свойствам 1, 2 называется простым.

Данный процесс не удовлетворяет первому и второму свойствам, поэтому не является простым.

Вывод: рассматриваемый процесс печати струйного принтера является эффективным, но не является ни управляемым, ни простым.

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

Репозиция.

Репозиция - это возобновление процесса, механизм перехода от результантов к инициаторам.

В данном случае множество дополнительных ситуаций репозиции S^D вводить не нужно.

Репозицией данного процесса можно считать: