Диссертация (1152223), страница 76
Текст из файла (страница 76)
Либо модель содержит лишние и ненужные элементы, которые можнобез ущерба удалить, либо существует ошибка в логике процесса и управление не попадает внужную точку. Например, в примере, показанном на рисунке 5.23-А, переход T3, расположенный после узла слияния «И», никогда не будут выполнен.Генератор маркеров (точка потери синхронизации) есть группа операций и логическихоператоров, которая в ответ на поступление потока управления, генерирует на выходе некоторое число (в т.ч.
бесконечное) потоков управления. Например, представим себе процесс, в кото-297ром поток управления сперва разделяется на две ветви с использованием узла «И», а затем обапотока соединяются вместе при помощи узла «ИЛИ», как показано на рисунке 5.23-Б. При этомна выходе возникнут два сигнала, поскольку оператор «ИЛИ» пропустит потоки из обеих ветвей. Возникает потенциальная опасность — клиент обратился за получением кредита, мы проводим параллельную обработку запроса несколькими службами, но после проверки в процесседвижутся две заявки вместо одной [140].Дискриминатор потока управления — это группа операций и логических операторов, которая в ответ на получение на вход нескольких потоков управления пропустит на выход меньшее их количество, чем поступило на вход.
Например, мы проводим голосование участников,для принятия решения достаточно квалифицированного большинства, остальные ответы нас неинтересуют. Дискриминатор помогает отсчитать нужное число ответов, а остальные игнорировать. Дискриминатор обычно используется совместно с генератором. Но если он используетсяотдельно, он может поглотить все маркеры, так что ни один не достигнет конца процесса [140].Ловушкой называется группа конечного числа операций и операторов процесса, такая, чтовыход из ловушки одновременно является входом в неё, как показано на рисунке 5.23-В.
Попавв ловушку, маркер не может покинуть её ни при каких обстоятельствах. Ловушку следует отличать от зацикливания, последнее удерживает процесс только при определённом сочетании значений данных процесса, при выполнении заданных условий маркер сможет покинуть цикл.Модель процесса не должна содержать висячие и оборванные цепи. Например, недопустим оператор, который не имеет входных дуг, он никогда не получит управления, т.е. являетсямёртвой зоной.
Так же недопустим оператор, который не имеет выходного потока. Поток всегдадолжен заканчиваться завершающим событием, а если его нет, то маркер не сможет покинутьоперацию. Таким образом оборванная связь эквивалентна ловушке.Нотация BPMN допускает использование в одном процессе нескольких точек старта, однако предупреждает, что они должны быть альтернативными, так что наступление первого изних инициирует исполнение экземпляра процесса [223]. Так же допускается существование водной модели нескольких завершающих событий, однако они должны быть альтернативными,поскольку процесс не может завершиться сразу с несколькими статусами.Правила редукции СППравила редукции СП позволяют преобразовать исходную сеть в более простую, но неизменяют структуру оригинальной сети [305] Наиболее наглядная интерпретация правил редукции дана в работе [313], мы будем следовать этому описанию.298Правило слияния последовательных позиций.Пусть есть две последовательные позиции, связанные однонаправленными дугами, проходящими через переход, лежащий между ними, как показано на рисунке 5.24-А.
Если выполняется:qpptΦFSPrttptpqquuабвгРисунок 5.24 - Правило слияния последовательных позиций и переходовИсточник: составлено автором по материалам [305].p1Первая позиция имеет непустое множество входящих дуг (не является истоком), формула (5.26)( | •p1 | > 1);u(5.26)Первая позиция имеет единственную исходящую дугу, направленную в сторону перехода,формула (5.27):( | p1• | = 1);(5.27)Промежуточный переход имеет единственную входящую дугу, ту что пришла из вышена-званной позиции, формула (5.28):( •p1 = { t } );(5.28)Этот переход имеет ровно одну исходящую дугу, направленную в сторону второй пози-ции, формула (5.29):( •t = { p2 } );(5.29)Последняя позиция имеет непустое множество исходящих дуг (не является стоком),формула (5.30):( | p2• | > 1);Вторая позиция может иметь другие входящие дуги, формула (5.31):( | p2• | ≥ 1);(5.30)(5.31)Входы первой позиции не должны быть связаны дугами с переходом, который также свя-зан дугами со второй позицией пары, т.к.
в результате редукции образуются либо самозацикливания, либо кратные дуги, формула (5.32):( •p1 ⋂ •р2 = Ø);(5.32)Такую пару позиций можно объединить, при этом, результирующей входные дуги будутсоответствовать объединению множеств входных дуг обеих позиций, а множество исходящихдуг будет соответствовать выходам второй.299Правило слияния последовательные переходовПусть есть две последовательные перехода, связанные однонаправленными дугами, проходящими через позицию, лежащую между ними, как показано на рисунке 5.24-Б, причём:Первый переход может иметь несколько исходящих дуг, в том числе, направленную всторону промежуточной позиции, формула (5.33)(| t1• | ≥ 1);(5.33)Промежуточная позиция имеет единственную входящую дугу, ту, что пришла из вы-шеназванного перехода, формула (5.34):(•p = { t1 });(5.34)Эта же позиция имеет ровно одну исходящую дугу, направленную в сторону второгоперехода, формула (5.35):(p• = { t2 });Второй переход позиция не может иметь других входящих дуг, формула (5.36):(•t2 = { p });(5.35)(5.36)Выходы первого перехода не должны быть связана дугами с позицией, которая такжесвязана дугами со вторым переходом пары, т.к.
в результате редукции образуются либо самозацикливания, либо кратные дуги, формула (5.37):( t1• ⋂ •t2 = Ø);(5.37)Такую пару переходов можно объединить в один таким образом, что у результирующего всевходные дуги будут соответствовать множеству входных дуг первого перехода из пары, а множество исходящих дуг будет соответствовать объединению множеств исходящих дуг обоих переходов, как показано на рисунке 5.24-Б.Правило слияния параллельных позицийПусть есть несколько позиций, такие что совпадают: множества их входов, а также множестваих выходов.Позиции имеют одинаковый набор входных переходов, формула ( 5.38):(•pitx=•pjty где pi, pj ∈ P, tx,ty ∈ T);(5.38)Позиции имеют одинаковый набор выходных переходов, формула (5.39):(•pitm= •pjtn где pi, pj ∈ P, tm,tn ∈ T);(5.39)Позиции можно объединить, причем результирующая позиция будет иметь такое же множествовходов и выходов, как и у редуцированных, как показано на рисунке 5.24-В.300Правило слияния параллельных переходов.Пусть есть несколько переходов, такие что множества их входов совпадают, ровнотакже как и множества их выходов, такие что:.Переходы имеют одинаковый набор входных позиций, формула (5.40):(•txpi= •typj где pi, pj ∈ P, tx,ty ∈ T);(5.40)Переходы имеют одинаковый набор выходных позиций, формула (5.41):(ptmi•= tnpj• где pi,pj∈ P, tm,tn∈T);(5.41)Переходы можно объединить, причём результирующая позиция будет иметь такое же множество входов и выходов, как и у редуцированных, как показано на рисунке 5.24-Г.ptΦFPPΦFPTtttqqА)Б)prtРисунок 5.25 - Правила слияния параллельных переходов (а) и позиций (б)Источник: составлено автором по материалам [305].Нами были рассмотрены правила редукции сетей Петри, которые не изменяют структурных свойств исследуемой сети.
Применение рассмотренных правил позволяет существенноупростить сеть Петри, структурно эквивалентную исследуемой модели бизнес-процесса, приэтом сохранить структурные свойства исследуемой модели.Типизация СП, эквивалентной модели процесса в нотации BPMNЦелью настоящего анализа станет доказательство факта, что модель процесса в нотацииBPMN отображается в СП свободного выбора. Поскольку операция BPMN отображается в переход с единственным входом и выходом, она не может служить источником конфликтов СП,последние есть результат объединения логических операторов.
Мы договорились, что все логические операторы следует представить, как комбинацию простых элементов «И» и «ИЛИ». Рассмотрим все возможные комбинации соединения логических операторов «И» и «ИЛИ». Итак,есть два вида операторов, причём каждый может означать ветвление и слияние, всего возможно16 комбинаций, из которых четыре являются зеркальными отражениями друг друга. Таким образом, следует рассмотреть 12 возможных комбинаций. Для того, чтобы можно было достоверно судить о структурных свойствах полученных паттернов, следует попытаться упростить их,применив правила редукции сетей Петри, как показано на рисунке 5.26. Для справки, в нижнейчасти показаны правила редукции.p3t2t1tqpΦFSPrПравила редукцииAND joinp6AND joinp21t4p8t3p7utpAND joinAND splitp4p5p1p3t1t3p1ΦFST uAND joinp6AND joinp22t5p8t4p5А)tAND joinp7p4t2OR splitqpp3tΦFPTAND joinp2t2t1p3t2t1OR joinp6AND joinp2t43tAND joint5p7p8t3Б)tqAND joinAND splitp4p5p1p8t3AND splitp4p5p1tp2p2pt2ΦFPPOR joint2OR joinp6p6p3t1t1OR joinAND joint5t5t34t4p8p5p7AND joinAND joinrp7AND splitp4p1p8p5AND joinAND joint4AND splitp4p1AND joinAND splitt5t3p3t1p1OR joinp3p1OR joinAND join t3p2p6AND joinp2t15p7p5p8t4 AND joinp4t2p5AND joinOR splitp8t6t4p4t2OR splitt2OR joint2OR joinp2t2OR joinp2p2p3p8t6p6t1p1p8t6p6t1p1p8t6p6t3t1p1AND joinOR join6OR joinp7p5OR joinp7p5t5OR joint5OR joinp5t5OR joinAND splitOR joinp7t4AND splitp4OR joinAND spliAND joinp2p6AND joinp2p3p3p8t2t1p8t2t1t5t3t37OR joinAND splitp4p1OR joint4p5t4p5t6OR joinp7AND splitp4p1p2p2t1OR joint3t1OR joint3p3p6p1p6p1t6t6t48p9AND joint5p4t2p5p8AND joinp5p8AND joinOR splitp9AND joint5p4t2OR splitt3OR joinp2t3OR joinp2t3OR joinp2OR joinp3t7p3p8t1p1p8t4t1p1p8p6t4t1p1OR join9t5t8OR joinOR joinp4OR splitOR joinp7t5p4OR splitt6OR joinp5t6OR joinp5t6OR joinp5OR joinAND splitt3p2t3p2t6OR joint3p2t1t1t1t4p3t1p8p1p8p1p8p6p1p8p6p1OR joint6OR joint3p2OR join10t7p7OR joinp5OR joint5OR joinp5p5AND joinOR splitt5p4t2OR splitOR joint5 AND joinp4t2p5AND joinOR splitt5p4t2OR splitAND joinOR splitt1t3p3OR joint3p2OR joint3OR joinp2p2t7p6t4p1t7p6t4p1t7p6t4p1AND joinOR join11p8OR splitp8p5p8p9t6t6OR joinAND joint5p9p5t6p5OR joinAND joint5p9OR joinAND joint5p4t2OR splitOR joinOR splitt7t3p2t1t1t1p3t1p8p1p8p1p8p6p1p8p6t4p1OR joint7t3OR joinp2t3OR joinp2t3OR joinp2OR join12t8t8OR joint2OR splitp5t6p5t6OR joinp5t6OR joinp5t6OR joint8OR joinp7t2OR splitOR joinp7t2OR splitOR joinp7t5p4t2OR splitOR joinOR split301Рисунок 5.26 - Варианты соединения элементов в модели процессаИсточник: составлено автором.302Теперь рассмотрим, как правила редукции позволят упростить рассматриваемые намипаттерны логических операторов BPMN.
Для примера мы рассмотрим редукцию одного из паттернов №6. Исследуемый паттерн, показанный на рисунке 5.27-А, он объединяет два оператора«И» и два «ИЛИ». Схема на рисунке 5.27-Б показывает структурно эквивалентная ему СП.Анализ показывает, что допустимо сжатие переходов t1 — t3, а также t1 — t4. Для результатаредукции, представленного на рисунке Рисунок 5.27-В, верна формула (5.42):•t1 ⋂ •t2 ⊆ •t6 также как •t1 ⋂ •t5 • ⊆ •t2(5.42)Можно заметить, что конфликтов типа сеть ассиметричного выбора не наблюдается.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
