Диссертация (1152223), страница 75
Текст из файла (страница 75)
Этоделается, чтобы упростить полученную модель. При этом на схеме могут появиться самозацикливания — пара позиция и переход, связанные сразу входящей и исходящей дугами. Следуетразделять операции, которые изменяют входящий информационный поток и те, которые его неменяют, но маршрутизируют. Это позволит избежать неудобных циклов.
В дальнейшем, «лишние» переходы можно исключить из анализа, используя правила редукции СП [307].9.Для СППР в качестве критериев бездефектной завершаемости определены свойства живо-сти и безопасности, которые являются поведенческими.В большинстве работ TUE предполагается анализ поведенческих свойств модели. Например, осаждавшиеся выше критерии бездефектной завершаемости — свойства живости и безопасности, являются поведенческими.
Это накладывает на способы отображения исходногопроцесса в СП требование поведенческой эквивалентности. В работе [6] анализируются сложности, возникающие при таком отображении. Однако возникает вопрос о целесообразности поведенческого моделирования процесса в нотации BPMN с помощью СП.Отображение модели процесса в нотации BPMN в сеть ПетриЕсли ставится задача провести структурный анализ сети, необходимо добиться структурной эквивалентности, исходной и полученной моделей. Структурная эквивалентность означает,что узлы СП связанны друг с другом точно так же, как узлы на диаграмме процесса в нотацииBPMN [307].
При этом следует учесть, что СП представляет собой двудольный граф, диаграммапотоков работ, для сравнения, есть однодольный граф, а число концептов нотации BPMN равнопяти. Таким образом, возникает вопрос сопоставления узлов моделей BPMN и СП.Сопоставление элементов нотации BPMN и узлов сети ПетриНотация BPMN включает широкий набор элементов для описания процессов разных типов. Мы будем рассматривать только ограниченное подмножество, используемое для моделирования процессов оркестровки.
В нотации BPMN 2.0 выделяют пять основных категорий гра-294фических элементов, используемых для создания схем оркестровки бизнес-процессов: (1) элементы управления; (2) соединительные элементы; (3) артефакты; (4) объекты данных; (5) зоныответственности [140].Процесс описывает работу, выполняемую над некоторым объектом, которая обеспечитполучение результата, ценного для потребителя. Поэтому в качестве узлов на диаграмме BPMNвыступают элементы, изображающие работу: операции, логические операторы и события.
Мысопоставим работу процесса с переходами СП.Договоримся различать узлы, где происходит изменение объекта управления, приводящеек смене его состояния и узлы, которые его не меняют. Операции трансформируют объект, егосостояния на входе и выходе различаются. Логические операторы (ЛО) и события объект неизменяют, но маршрутизируют, первые синхронно с потоком управления, а вторые асинхронно.Дуги на диаграмме BPMN изображают поток управления, который выстраивает узлы в порядкеих исполнения.Спецификация BPMN явно не определяет, что есть поток управления, для облегчениявосприятия вводится понятие маркер, который трактуется как «теоретическая концепция», используемая для определения поведения исполняемого процесса [135].
Маркер движется вдольмодели, его текущее положение указывает на выполняемую операцию и одновременно определяет статус обработки. Попытаемся установить, что есть маркер.Процесс описывает последовательность изменения состояния системы во времени. В производственном процессе фиксируются состояния материального продукта, а в бизнес-процессеотмечаются состояния информационного объекта.
Мы назвали объектом управления такой, который запоминает результат выполнения текущей операции и передает его следующей и, темсамым, связывает несколько последовательных операций процесса. Когда строится аналитическая модель процесса, в качестве объекта управления, обычно, выбирается какой-либо документ, важный с точки зрения выполняемого задания. Если строится исполняемая модель процесса, выделяется переменная процесса, которая движется вдоль диаграммы, в ней происходяткачественные изменения, отражающие ход выполнения процесса, её прибытие в узел активирует, выполнение очередной операции.
Переменная процесса есть суть объект управления, еёдвижение образует поток управления. Таким образом, поток управления BPMN эквивалентенмаркеру СП [307].На диаграмме BPMN рассмотрим точку на середине дуги, связывающей две последовательные операции. Выполнение первой операции уже завершено, а следующей еще не началось. Состояние объекта управления в этой точке фиксирует результат выполнения первой операции, оно же является входным для второй. Сопоставим эту точку с позицией СП.
Позиция пассивна, она не изменяет и не перемещает маркер, только сохраняет его между двумя переходами.295Последовательные потоки на диаграмме BPMN связывают отдельные операции, логическиеоператоры и события в логическую цепочку и устанавливают порядок их выполнения. Договоримся отображать их в дуги СП. При этом будем учитывать, что один поток отображается в две однонаправленные дуги, одна из них является входящей в переход (позицию), а другая исходит из него.Простые СП, которые мы используем в рассмотрении, не позволяют моделировать объектыданных или человеческие ресурсы процесса.
Поэтому остальные графические элементы BPMN,например, артефакты; объекты данных; зоны ответственности в СП не переносятся. В рамках настоящей работы мы опустим операторы, которые создают много экземпляров операции процесса. Этодопущение не повлияет на окончательный результат. Поскольку нас интересуют структурные, а неповеденческие свойства, мы можем упростить отображение, как показано на рисунке 5.22 [223].АБВ=ГДЕЖЗИК==Рисунок 5.22 - Отображение модели процесса в нотации BPMN в СПИсточник: составлено автором по материалам [223]Операция процесса ассоциируется с переходом, причём её входная позиция отображаетсостояние объекта ожидающего обработки, а выходная — состояние после выполнения обработки.
Дуги определяют порядок исполнения операций процесса, как показано на рисунке 5.22А. Логический оператор ветвления «И» моделируется переходом, который имеет одну входнуюпозицию и несколько выходных (Б). Логический оператор слияния «И» моделируется переходом, который имеет несколько входных позиций и одну выходную (В). Логический операторветвления «ИЛИ» моделируется позицией, которая имеет несколько выходных (Г). Логическийоператор слияния «ИЛИ» моделируется позицией, которая имеет несколько входных переходов(L).
Рассмотрим моделирование событий. Стартовое и завершающее события моделируютсяпереходом СП, они изображают работу: первое инициирует создание экземпляра процесса, авторое используется, чтобы оповестить окружение о статусе окончания данного экземплярапроцесса (Е). Промежуточное генерирующие события, размещаемые в потоке, отображаютсяпереходом в СП (Ж). Когда поток управления достигает генерирующего события, то незамедлительно происходит соответствующая обработка (отправляется сообщение, сигнал и т.д.), после чего поток управления немедленно покидает текущий элемент и продолжает движение далее по процессу. Генерирующее событие не оказывает влияния на данный поток управления,поэтому переход СП изображается, но реальной работы не выполняет.
Рассмотрим обрабатывающее событие, размещаемое в потоке. Когда поток управления достигает обрабатывающегособытия, исполнение останавливается до тех пор, пока не произойдёт соответствующее собы-296тие (поступит сообщение или сигнал). После срабатывания поток управления покидает элементобрабатывающее событие. Поскольку данные мы не анализируем, обрабатывающее событие,размещённое в потоке, моделируется при помощи перехода СП, которое реальной работы невыполняет, оно приостанавливает исполнение до наступления события (З).
Теперь рассмотримсобытия, прикрепляемые к границам операций. Поскольку мы анализируем структурные свойства и не анализируем данные, можно существенно упростить способы отображения. Нас интересует, создаст ли прикреплённое событие дополнительный поток управления или нет. Поэтомумы можем заменить прерывающие события на ЛО ветвления «ИЛИ» (И), а не прерывающие —на ЛО ветвления «И» (К).Особняком стоит завершающее событие «отмена», оно принудительно завершает все потоки управления процесса.
По-видимому, не следует отображать его в СП, поскольку оно может замаскировать возникающие в модели процесса проблемы. Напротив, если анализ выявитдефекты модели, их можно будет нуллифицировать, используя событие «отмена».Поиск возможных поведенческих ошибок модели бизнес-процессаПоиск поведенческих ошибок в современных СУБП осуществляется путем имитационного моделирования, но требует перебора всех возможных сочетаний значений данных процесса. Предлагаемый здесь метод поиска не привязан к конкретным значениям данных, позволяет указать на все места, где потенциально возможна коллизия, как показано на рисунке 5.23А. Синхронизация невыполнима, поскольку после ветвления «ИЛИ» поток управления будетнаправлен только по одной из ветвей, а узел «И» ждет потоки из обеих.А)Б)В)Рисунок 5.23 - Мёртвая точка (а), генерация маркеров (б), ловушка (В), сифон (г)Источник: составлено авторомМёртвой зоной модели называется группу операций, которые не могут быть исполненыни при каких сочетаниях значений данных процесса, потому что поток управления никогда неможет их достигнуть.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
