120 данную точку функции управления, на котором не встречается никакое другое определение маски d Mj ■ Обозначим <7Л/((р) множество живых определений маски в некоторой функции управления <р(<р е N): Ml}, sdeVi = i,2,...,k3J,0 На определение ИО существенно влияет значение, определения маски, действующего при выполнении этого определения. Таким образом, любая функция/операция ср, изменяющая атрибуты ИО, позволяет ввести семейство определений каждого ИО X в соответствии с множеством определений маски, действующих при исполнении данной функции/операции d( каждое определение х' соответствует живому определению маски в точке ср, т.е. |
Не нарушая общности, можно считать, что любое определение маски dMj при обработке некоторого ИО распространяется на все информационное поле бизнес-процесса и действует до тех пор, пока не встретится некоторое другое определение маски dMj. Обозначим dMo определение маски при входе в бизнес-процесс (т.е. в узле п0). Семантически это означает, что перед входом в бизнес-процесс права доступа не ограничены. Обозначим dM множество всех определений маски в бизнес-процессе. dM = { dM0, dMi, ..., dMn} Определение 3.2. Некоторое определение маски dMj называется живым в данной функции бизнес-процесса, если существует маршрут из точки определения маски в данную точку бизнес-процесса, на котором не встречается никакое другое определение маски dMj. Обозначим dM( множество живых определений маски в некоторой функции <р бизнес-процесса (ср е N). X) = {х°, х1, ..., хк}, где каждое определение х' соответствует живому определению маски в точке ср, т.е. Тогда множество определений ИО X во всем бизнес-процессе можно представить следующим образом: d(X) = d(cp, X) = {xi°, ..., X?, х2°,..., х2', ..., хД..., xn m}, 117
|