МЕТОДЫ И АЛГОРИТМЫ ПРОВЕРКИ АДЕКВАТНОСТИ АНАЛИТИЧЕСКИХ МОДЕЛЕЙ ОРГАНИЗАЦИОННОЙ ДЕЯТЕЛЬНОСТИ ПРЕДПРИЯТИЯ Инна Ивановна Григорьева ФГБОУ ВО «ТЮМЕНСКИЙ ГОСУДАРСТВЕННЫЙ. - презентация

1 МЕТОДЫ И АЛГОРИТМЫ ПРОВЕРКИ АДЕКВАТНОСТИ АНАЛИТИЧЕСКИХ МОДЕЛЕЙ ОРГАНИЗАЦИОННОЙ ДЕЯТЕЛЬНОСТИ ПРЕДПРИЯТИЯ Инна Ивановна Григорьева ФГБОУ ВО «ТЮМЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ»

2 2 Повышение эффективности анализа организационной деятельности предприятия за счет применения валидации бизнес-моделей. 1. Разработка метода выявления ошибок в моделях процессов организационной деятельности предприятия. 2. Построение математических моделей и алгоритмов, позволяющих автоматически выявлять ошибки бизнес-моделирования. 3. Создание инструментальных средств бизнес-аналитика, реализующих методы выявления ошибок анализа. 4. Проведение квалификационного тестирования программных средств, а также вычислительных экспериментов для апробации разработанных моделей. Цель Задачи работы

3 Пример представления бизнес-процесса в нотации Cross Functional Flowchart 3

4 Правила исполнимости модели процесса Утверждение 1. Модель процесса является исполнимой если: 1)входные и выходные объекты модели и реального процесса совпадают; 2)все входные объекты процесса являются входами каких-либо действий модели; 3)все выходные объекты процесса порождаются какими-либо действиями модели; 4)каждое действие должно содержать как входные, так и выходные объекты; 5)все действия модели участвуют при выполнении процесса. 6)некоторые действия модели могут быть описаны набором вложенных действий; 7)полное выполнение процесса ограничено во времени. 4

5 Концептуальная модель бизнес-процесса Определение 1. BP=(N BP, Ow, Pre, Post, P, F, D, Op, C, A), (1) где: N BP – название бизнес-процесса; Ow – владелец; Pre – предусловие; Post – постусловие; P – исполнитель, p: p= p; F – поток, где F=CF OF; D – узел решения; Op – логический оператор; C – узел управления; A – действие, где A=(N A, SU, Com, count), a: a= a. Утверждение 2. Инфологическая модель имеет однозначное отображение в концептуальное представление, а также, концептуальная модель может быть представлена в виде диаграммы, с соблюдением правил соответствующей нотации. 5

6 Модель валидации Определение 2. BP=(F, A, L), (2) где: F – потоки бизнес-процесса, пред- и постусловия; A – действия бизнес-процесса, узлы решения, логические операторы, узлы управления; L (F A) – отношение перехода. Утверждение 3. Концептуальная модель является исполнимой тогда и только тогда, когда исполнима модель валидации организационной деятельности предприятия. 6

7 Сеть бизнес-процесса Определение 3. Сетью бизнес-процесса BP является четверка BP=(F, A, I, O), где: F={f 1,f 2,…,f n } – множество потоков (потоки, пред- и постусловия), n 0; A={a 1,a 2,…,a m } – множество действий (действия, узлы решения, логические операторы, узлы управления), m 0, где F A= ; I – входное множество, f i I(a j ) – входящие потоки действия бизнес-процесса; O - выходное множество, f i O(a j ) – выходящие потоки действия бизнес-процесса. (f i, I(a j )) 1 и (f i, O(a j )) 1 для всех f i F и a j A. (3) 7 Рис. 1. Графическое представление бизнес-процесса в виде сети Петри

8 Динамическая сеть бизнес-процесса Определение 4. Маркированной сетью бизнес-процесса BP является пятерка BP=(F, A, I, O, M), где: M – маркировка, есть функция M: F N. Маркировка M может быть определена как n-вектор M=(m 1,m 2,…,m n ), где n=|F| и каждое m i N, i=1…n. Вектор M определяет для каждого потока f i бизнес-процесса количество маркеров этого потока: M(f i )= m i. 8 Рис. 2. Графическое представление маркера потока сети бизнес-процесса (M=(0,1,0))

9 Правила выполнения сети бизнес-процесса Утверждение 4. Действие a j A в сети BP=(F, A, I, O, M) разрешено для выполнения, если для всех f i F выполняется: M(f i ) (f i, I(a j )). (4) В результате выполнения разрешенного действия a j образуется новая маркировка M, определяемая следующим соотношением: M(f i )=M(f i ) – (f i, I(a j )) + (f i, O(a j )). (5) 9

10 Пространство состояний сети бизнес-процесса δ – функция следующего состояния: δ(M, a j ) – не определена, если a j не разрешено в M, (6) δ(M, a j )=M – определена (4), т.е. если a j разрешено в M. Утверждение 5. δ :N n x A N n, (7) где N n – пространство состояний. Утверждение 6. Множество достижимости R(BP, M) сети бизнес-процесса BP=(F, A, I, O, M) есть множество маркировок, определенных следующим образом: 1)M R(BP, M); 2)если M R(BP, M) и M=δ(M, a j ) для некоторого a j A, то M R(BP, M). 10

11 Соотношение элементов расширенной сети бизнес-процесса и элементов простой сети Петри 11 AND => AND XOR => OR

12 Определение свойств сети Петри для анализа Правило исполнимости сети бизнес-процесса (ошибки исполнимости) Свойство сети Петри Бизнес-процесс не содержит циклов, либо последовательность действий в цикле может повторяться конечное число раз. (зацикленные действия) Ограниченность Каждое действие должно быть не заблокировано для выполнения; действие может выполниться, если до этого выполнится определенная последовательность действий. (тупиковые действия, «мертвые» действия, бесконечные действия) Активность (живость) Для бизнес-процесса возможность перехода из предусловия в постусловие бизнес-процесса за конечное число действий; возможность перехода из действия a j в a k. (недостижимые действия) Достижимость Покрываемость 12

13 Задачи анализа сети бизнес-процесса 1. Задача достижимости для сети бизнес-процесса ВР с начальной маркировкой M и маркировкой M позволяет ответить на вопрос: существует ли M R(BP, M)? 2. Задача покрываемости для сети бизнес-процесса BP с начальной маркировкой M и маркировкой M позволяет ответить на вопрос: существует ли такая достижимая маркировка M R(BP, M), что M M? 3. Задача активности для сети бизнес-процесса BP с начальной маркировкой M и маркировкой M позволяет установить, что действие a j называется активным, если для маркировки M, достижимой из M, можно указать цепочку выполнения действий, которая приводит к выполнению действия a j. 4. Задача ограниченности для сети бизнес-процесса BP определяется количеством маркеров потока f i. Поток f i F сети бизнес-процесса BP с начальной маркировкой M является k-ограниченным, если M(f i ) k для всех M R(BP, M). 13

14 Алгоритм построения дерева достижимости сети бизнес-процесса Шаг 1. Определение маркировки M 0 сети BP корнем дерева. Пусть имеется M – граничная вершина. Шаг 2. Если на пути из корня дерева в вершину M существует вершина M, что M=M, то вершина М - лист дерева. Шаг 3. Если ни одно из действий сети бизнес-процесса не может сработать при разметке M, т.е. для a j A не выполняется (4), то вершина М - лист дерева. Шаг 4. Если на пути из корня дерева в вершину M существует вершина M, то M для каждого f i, определяется: 4.1. Если M(f i )=*, то M(f i )=*, вершина М - «*»-лист дерева Если count действия сети BP определен, M(f i ) count и выполняется правило исполнимости 1, то Шаг 5, иначе узел не добавляется Если M < M и значение count не определено, то для любого потока f i, что M(f i ) < M(f i ) значение i-координаты M заменяется на «*». Шаг 5. Если ни один случай не имеет места, то M – внутренняя вершина, рассматривается (4) и добавляется новая вершина (5). Шаг 6. Если в дереве есть «*»-лист => алгоритм поиска в глубину. 14

15 Матричное представление сети бизнес-процесса Матричная форма сети бизнес-процесса BP записывается пятеркой BP=(F, A, W -, W +, M). где: W - [j,i]=(f i, I(a j )) – определяет входящие потоки действий бизнес- процесса; W + [j,i]=(f i, O(a j )) – определяет выходящие потоки действий бизнес- процесса. Для последовательности выполнения действий бизнес-процесса σ=a j1,a j2,…,a jk запишется δ(M, σ)= M+X*W, где W=W + - W - – составная матрица изменений, тогда M достижима из M: M=M+X*W, (8) где: X – вектор запусков последовательности a j1,a j2,…,a jk. 15

16 Архитектура программного комплекса 16

17 Схема организации контура формирования бизнес- процессов 17

18 Описание предметных областей 18

19 Формирование набора деятельностей 19

20 Схема организации контура изучения бизнес-процессов 20

21 Подготовка заданий для исследования 21

22 Специфицирование бизнес-процессов 22

23 Формирование логического выражения 23

24 Создание последовательности действий 24

25 Построение отчета описания бизнес-процесса 25

26 Схема организации контура анализа 26

27 Получение результатов валидации 27

28 Схема организации контура визуализации 28

29 Представление бизнес-процесса в нотации Cross Functional Flowchart 29

30 Результаты работы 1. Предложена теоретико-множественная модель концептуального представления процесса, полученная объединением элементов широко используемых нотаций моделирования бизнес-процессов. Разработан метод валидации анализа организационной деятельности предприятия, который осуществляет выявление ошибок исполнимости полученной модели. 2. Создана математическая модель процессов деятельности организации, реализующая предложенный метод валидации. Модель построена на основе ординарной вложенной сети Петри, что позволяет оценить адекватность функционирования бизнес- процессов на основе проверки свойств сети. 3. Модифицирован алгоритм построения дерева достижимости, с помощью которого выполняется проверка свойств ограниченности и покрываемости сети бизнес-процесса. Построено матричное уравнение сети бизнес-процесса, которое позволяет осуществить проверку свойств активности и достижимости сети. 30

31 Результаты работы 4. Определен механизм прямого и обратного отображения концептуальной модели процесса в нотационные представления, широко применяемые в анализе бизнес-процессов. Создана система правил преобразования концептуального представления в модель процессов организационной деятельности предприятия, реализующая возможность выполнения валидации, как концептуальной модели, так и моделей представленных в различных нотациях. 5. Разработан специализированный программный комплекс, который позволяет: размещать первичные документы предметной области в единой среде исследования; структурировать описание процессов; осуществлять валидацию полученных спецификаций; формировать отчетную документацию, включающую результаты анализа моделей бизнес-процессов, а также генерировать представления бизнес-процесса в различных нотациях. Качество функционирования программного комплекса подтверждено его квалификационным тестированием. 31

32 32