119 С каждым из узлов такого подграфа, являющихся элементами множества N, связаны три типа событий, касающихся обработки информационных объектов [73]: • определение маски (прав доступа к атрибутам ИО); • определение ИО при заданной маске; • использование ИО при заданной маске. При этом с каждым из узлов может ассоциироваться произвольная комбинация этих событий за исключением комбинации, в которой событие «определение ИО» присутствует более одного раза. При выполнении функции управления существенное значение придается разграничениям прав доступа к ИО и их атрибутам. Поэтому традиционного понимания событий определения/использовапия ИО недостаточно, поскольку фактически эти события происходят при определенных правах доступа при выполнении каждой из функций управления, при этом эти права могут изменяться при переходе от функции к функции. Поэтому и вводятся новые типы событий: определение маски и определение/использование ИО при заданной маске, под которым понимается введение или изменение прав доступа к любому ИО или его атрибутам. Тогда можно считать, что любое определение маски d Mi при обработке некоторого ИО распространяется на все информационное поле функции управления и действует до тех пор, пока не встретится некоторое другое определение маски d МуОбозначим d Мо определение маски при входе в функцию управления (т.е. в узле по )• Семантически это означает, что перед входом в функцию управления права доступа не ограничены. Обозначим dM множество всех определений маски в функции управления [69]: dM (4.1) Некоторое определение маски d Mi называется живым в данной функции управления, если существует маршрут из точки определения маски в |
ориентированных на потоки данных и обеспечивающих выявление ошибок, связанных с информационными ресурсами бизнес-процесса. § 3.1. Модель потоков данных бизнес-процесса. Для целей обнаружения ошибок в потоках данных в качестве управляющего каркаса целесообразно использовать подграф уровня операций введенного в главе 2 графа бизнес-процесса G. Формально такой подграф описывается KaxG1 (N, Е, n0, R1, ER1), где • N, Е и По имеют тот же смысл, что и в графе G; • R1 cz R множество информационных объектов (подмножество множества ресурсов предприятия); • ER1 С каждым из узлов такого подграфа, являющихся элементами множества N связаны три типа событий, касающихся обработки информационных объектов: • определение маски (прав доступа к атрибутам ИО); • определение ИО при заданной маске; • использование ИО при заданной маске. При этом с каждым из узлов может ассоциироваться произвольная комбинация этих событий за исключением комбинации, в которой событие “определение ИО” присутствует более одного раза. При выполнении бизнес-процесса существенное значение придается разграничениям прав доступа к ИО и их атрибутам. Поэтому традиционного понимания событий определения/использования ИО недостаточно, поскольку фактически эти события происходят при определенных правах доступа при выполнении каждой из функций бизнес-процесса, при этом эти права могут изменяться при переходе от функции к функции. Поэтому вводятся новые типы событий: определение маски и определение/использование ИО при заданной маске. Определение 3.1. Под определением маски будем понимать введение или изменение прав доступа к любому ИО или его атрибутам. 116 Не нарушая общности, можно считать, что любое определение маски dMj при обработке некоторого ИО распространяется на все информационное поле бизнес-процесса и действует до тех пор, пока не встретится некоторое другое определение маски dMj. Обозначим dMo определение маски при входе в бизнес-процесс (т.е. в узле п0). Семантически это означает, что перед входом в бизнес-процесс права доступа не ограничены. Обозначим dM множество всех определений маски в бизнес-процессе. dM = { dM0, dMi, ..., dMn} Определение 3.2. Некоторое определение маски dMj называется живым в данной функции бизнес-процесса, если существует маршрут из точки определения маски в данную точку бизнес-процесса, на котором не встречается никакое другое определение маски dMj. Обозначим dM( dM(cp) = {dMA dM2* ..., dMk'p}, где V i=1,2,...,k 3 j, 0 одному из элементов множества dM( Тогда множество определений ИО X во всем бизнес-процессе можно представить следующим образом: d(X) = d(cp, X) = {xi°, ..., X?, х2°,..., х2', ..., хД..., xn m}, 117
|