Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
ТЕОРИЯ ИНЖИНИРИНГА-Калянов.doc
Скачиваний:
14
Добавлен:
19.08.2019
Размер:
643.07 Кб
Скачать

3.2.2. Модель потоков данных'бизнес-процесса

Для обнаружения ошибок в потоках данных в качестве управ­ляющего каркаса целесообразно использовать подграф уровня операций введенного в главе 1 графа бизнес-процесса G. Фор­мально такой подграф описывается как

Gl (N,E, л0, Л1, ERI), где N,Enn0 имеют тот же смысл, что и в графе G;

R1 с R — множество информационных объектов (подмножество множества ресурсов предприятия); . ERI cERмножество ребер использования информационных объек-'■ ■••■ тов.-' ••* • .

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

  • определение маски (прав доступа к атрибутам ИО);

  • определение ИО при заданной маске;

  • использование ИО при заданной маске. ..'-

При этом с каждым из узлов может ассоциироваться произ­вольная комбинация этих событий за исключением комбинации, в которой событие «определение ИО» присутствует более одного раза.

При выполнении бизнес-процесса существенное значение вридается разграничениям прав доступа к ИО и их атрибутам. Поэтому традиционного понимания событий определения/ использования ИО недостаточно, поскольку фактически эти со-бытия происходят при определенных правах доступа при выпол­нении каждой из функций бизнес-процесса, но эти права могут изменяться при переходе от функции к функции. Поэтому вво-датся новые типы событий: определение маски и определе-нве/использование ИО при заданной маске.

Определение 3.2. Под определением маски будем понимать ведение или изменение прав доступа к любому ИО или его атри-§рам.

Не нарушая общности, можно считать, что любое определе-ше маски dMt при обработке некоторого ИО распространяется 31 все информационное поле бизнес-процесса и действует до тех

пор, пока не встретится некоторое другое определение маски dMj. Обозначим dM0определение маски при входе в бизнес-процесс (т.е. в узле и0). Семантически это означает, что перед входом в бизнес-процесс права доступа не ограничены. Обозначим dMмножество всех определений маски в бизнес-процессе.

dAi={dM0,dMu...,dMJ.

Определение 3.3. Некоторое определение маски dMt называет­ся живым в данной функции бизнес-процесса, если существует маршрут из точки определения маски в данную точку бизнес-процесса, на котором не встречается никакое другое определение

маски dMj.

Обозначим dM(<p) — множество живых определений маски в некоторой функции <р бизнес-процесса (<р е N).

Ф) = {dM?, dM2*,,.., dMk*}, raeV/=l,2 kSj^Sjun-.dMf^dMj.

Определение 3.4. Под определением ИО будем понимать лю­бое изменение его атрибутов при выполнении бизнес-функции*' или бизнес-операции.

Необходимо отметить, что на определение ИО существенно. влияет значение определения маски, действующее при выпол-' нении этого определения. Таким образом, любая функция/опе­рация ф, изменяющая атрибуты ИО, позволяет ввести семейство определений каждого ИО Хв соответствии с множеством опреде­лений маски, действующих при исполнении данной функ­ции/операции d((p, X) = {х°, х1,..., х*}, где каждое определение х1 соответствует живому определению маски в точке ф, т.е. одному из элементов множества dM{q).

Тогда множество определений ИО Л'во всем бизнес-процессе можно представить следующим образом:

d(X) = о9^(ф, X) = {х,°,..., х,*, х2°,..., xj',..., х„\ ..., хпт),

при этом */(<р, X) = 0, где 0 — пустое множество, если в точке ф ИО А"не определяется.

Определение 3.5. Определение ИО X называется живым в не­которой точке (функции/операции) ф бизнес-процесса, если су­ществует маршрут из. точки определения X в данную точку биз­нес-процесса, вдоль которого ИО Xне переопределяется.

Пусть теперь <р - функция/операция бизнес-процесса с ИО XI, XI, ..., ХК в качестве аргументов, т.е. значения данных ИО используются функцией/операцией <р при ее выполнении.

Определение 3.6. Множество всех живых определений всех аргументов функции/операции <р называется средой данных фулкции/операции ф. :

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

Отметим, что в случае бизнес-операции с т аргументами .' (при т >1) такая модель является неполной, так как выполнение данной операции в ряде случаев требует одновременного исполь- -зования и определений £ п > 1) различных атрибутов ИО из среды данных. Этот факт отражается нотацией контекста данных..

Определение 3.7. Элементарным контекстом данных операции : Ф, имеющей А"аргументов XI, XI,..., ХК, называется множество

кд(Ф) = {л/^А2,£...,ж$-

::, определений ИО из списка аргументов, для которых существует маршрут из входной точки бизнес-процесса в точку ф, такой, что все определения из КД(ф) являются живыми при выполнении операции ф.

Определение 3.8. Контекстом данных операции ф называется множество всех ее элементарных контекстов.

Таким образом, на втором этапе построения модели потоков данных бизнес-процесса строится контекст данных — мнбжество наборов из п определений различных атрибутов, для которых существует маршрут из точки входа в бизнес-процесс в рассмат­риваемую точку, на котором все элементы набора принадлежат среде данных (т.е. не переопределяются).

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

Определение 3.9. Упорядоченным элементарным контекстом данных операции ф, имеющей К аргументов Х\,Х1,..., ХК, назы­вается последовательность таких определений из элементарного контекста операции ф КД(ф), что существует маршрут из входной точки бизнес-процесса в точку ф, вдоль которого все эти опреде­ления выполняются в порядке, предписанном заданной последо­вательностью* и являются живыми при выполнении операции ф. Определение 3.10. Упорядоченным контекстом данных опера­ций ф называется множество всех ее упорядоченных элементар­ных контекстов, v

Таким образом, на третьем уровне построения модели вво­дится упорядоченный контекст данных — множество упорядо­ченных наборов из л определений различных атрибутов ИО, для которых существует маршрут из точки входа в бизнес-процесс в рассматриваемую точку, на котором все элементы набора при­надлежат среде данных и выполняются в порядке, предписывае­мом данным набором.

Для пояснения введенных определений на рис. 3.3 приведен типичный пример фрагмента графа документооборота, для кото­рого при рассмотрении узла 5 построены множества, соответ­ствующие каждой из введенных моделей. При этом нижний ин­декс атрибута соответствует номеру его определения, а верхний -номеру используемой при этом маски.

Для данного примера среда данных операции ф = 5 имеет вид

Элементам данного множества, например, соответствуют следующие маршруты, на которых эти элементы (определения ИО) не переопределяются:

(1,2,3,4,5), (1,2,3,4,5,7,4,5), (1,2,3,4,5,6,7,4,5), (1,2,3,4,5), (1,2,3,4,5,8,4,5), (1,2,3,4,5,6,7,4,5,8,4,5).

Контекст данных содержит следующие элементарные кон­тексты:

КД = {(х,°,уу\ (х,°,у2\ 2°, ух\ 2°,у2\ (х2х\ (.х212°)Лх22')}. .

Рис. 3.3. Пример модели потоков данных бизнес-процесса

Элементам данного множества, например, соответствуют следующие маршруты, на которых эти элементы (пары определе­ний ИО) не переопределяются:

(1,2,3,4,5), (1,2,3,4,5,8,4,5), (1,2,3,4,5,7,4,5),

(1,2,3,4,5,7,4,5,8,4,5), (1,2,3,4,5,6,7,4,5),

(1,2,3,4,5,8,4,5,6,7,4,5), (1,2,3,4,5,6,7,4,5,8,4,5).

Упорядоченный контекст данных включает дополнительно к вышеперечисленным элементарным контекстам один следую­щий упорядоченный элементарный контекст:

УКД = КДи{(у2°,х20)}.

Соответствующий маршрут выглядят следующим образо^; (1,2,3,4,5,8,4,5,7,4,5).