Диссертация (1152223), страница 50
Текст из файла (страница 50)
Вантало и Х. Фольцер предположили, что процесс имеет одну точку старта и одну точку завершения (single entry single exit — SESE) [202]. Это утверждение неправомерно, поскольку модель процесса, например, в нотации BPMN может иметь несколько стартовых и завершающих событий [135].
Д. Денерт и П. Ритген считают, что модели EPC допускают моделироватьпроцессы с несколькими начальными событиями и несколькими завершающим (multiple inputmultiple output – MIMO) [232]. Такая конфигурация с многими входами и выходами возможнана практике только при определённых ограничениях, которые мы попытаемся выявить. Мы показали, что процесс, образованный единственным объектом, на каждое входное воздействиепроцесс генерирует единственный отклик на выходе, таким образом, он может быть классифицирован как SASR (Single Activation Single Response). Можно говорить, что такой процесс обладает свойством консервативности, он не увеличивает числа маркеров, поступивших на еговход, процесс завершается, когда единственный маркер, поступивший на вход, «покинет» модель процесса.Договоримся ограничиться рассмотрением только таких бизнес-процессов, которые генерируют один выход на каждое входное воздействие.
Если аналитик сталкивается с ситуацией,когда один вход генерирует несколько откликов, он может с уверенностью предположить, что входе исполнение происходит смена объекта управления, один процесс порождает несколькоподпроцессов потомков, которые в сумме создают необходимое число откликов.Онтологические допущения приписывают модели некие свойства, полученные путём анализа концептов онтологической модели. Проведённый анализ позволяет сделать следующиевыводы касательно свойств модели процесса. Маркер процесса можно сопоставить с переменной состояния процесса, её движение образует одновременно потоки: управления и информационный, образованный последовательными изменениями состояния маркера процесса. Такимобразом, термин «маркер» получил теоретическое обоснование, поскольку ранее он трактовался как «теоретическая концепция», не имел материального воплощения, что затрудняло работуаналитика по выявлению бизнес-процесса.Следует структурировать процесс на подпроцессы таким образом, чтобы каждый подпро-192цесс имел дело с отдельным объектом управления, который следует сопоставлять с переменнойсостояния этого подпроцесса.
Каждый подпроцесс образован работами, которые обрабатываютодин общий для них объект. Если работы оказывают влияния на объекты данных несколькихподпроцессов, то эти подпроцессы нельзя рассматривать изолированно, а только совместно.Смена является индикатором деления сквозного процесса на подпроцессы.Удалось теоретически обосновать важное свойство — процесс имеет ровно одно стартовое состояние и может иметь несколько альтернативных терминальных.
Ранее предполагалось,что процесс имеет ровно одно стартовое и завершающее события, что не соответствует практике моделирования бизнес-процессов. Процесс следует классифицировать как Single ActivationSingle Reaction. Новое свойство окажется принципиально важно при рассмотрении вопроса окритериях нормального завершения бизнес-процесса.Рекомендовано ограничиваться рассмотрением бизнес-процессов, которые генерируютодин выход на каждое входное воздействие. Если аналитик сталкивается с ситуацией, когдаодин вход генерирует несколько откликов, он может с уверенностью предположить, что в ходеисполнение происходит смена объекта управления, один процесс порождает несколько подпроцессов потомков, которые в сумме создают необходимое число откликов.3.7Выводы к главе 3В главе рассмотрены теоретические основы моделирования бизнес-процессов.
В качествебазиса исследования была выбрана онтология Бунге-Ванда-Вебера, выделены концепты, образующие онтологию модели процесса. Определены онтологические концептуальные понятияпредметной области моделирования. Сделан вывод — процесс следует рассматривать как последовательную смену состояний одного объекта, происходящую в результате выполненияопераций процесса.
Последние связаны между собою правилами темпоральной логики: «послеэтого» или иначе «по причине этого», а также «после этого» или иначе «позже» в хронологическом смысле. Научная новизна исследования заключается в следующем:Уточнено толкование понятие событие. Отличие предлагаемой в работе трактовки в том,что ранее событие толковалось как смена состояния, таким образом, оно отображало тоже, чтои собственно состояние, так что оба понятия были неотличимы. Предложено определить событие как момент времени, когда произошла смена состояния.
Это позволяет добавить в онтологию понятия темпоральной логики: момент и интервал времени.Уточнено различие между внутренними и внешними событиями. Внутреннее событие от-ражает факт готовности объекта к очередной трансформации, а внешнее — отображает момент193времени, когда трансформация будет начата или остановлена.Установлено, что в число концептов модели процесса не включён исполнитель операцийпроцесса (актор). Из этого следует, что модель процесса должна быть отображена на множествосотрудников организации.Предложено различать трансформации, изменяющие состояние объекта и маршрутизиру-ющие этот объект, но не изменяющие его. Это дополнение позволяет добавить концепт, в который будут отображаться логические операторы на модели процесса.Уточнено и по-новому определено понятие маркер.
Понятие маркер, используемое приописании процесса нотации BPMN, скрывается объект управление процесса, иными словами,переменная состояния процесса. Её движение образует одновременно потоки: дискретный информационный и управления, а прибытие инициирует начало выполнения очередной операциипроцесса.Выявлен дефицит выразительности языков и нотаций моделирования процессов — одиниз них не позволяет изобразить на модели сразу все концепты онтологии Бунге-Ванда-Вебера, атолько часть из них. Для преодоления дефицита, предлагается рассматривать модель как объединение нескольких диаграмм, каждая из которых изображает отдельные аспекты процесса, авсе вместе они образуют его полную и интегрированную модель. Предложены меры по преодолению дефицита выразительности.
Предлагается проводить согласованное моделирование процесса в нескольких моделях, максимально интегрировать частные модели. Это предложениесущественно обогащает подход к моделированию бизнес-процессов, т.к. большинство аналитиков понимают модель бизнеса упрощённо, как описание последовательности работ. Как результат, аналитики часто совершают две ошибки. Либо не включают в модель функциональную,информационную и организационную перспективы, что делает модель неполной, либо включают соответствующие данные в поведенческую перспективу, что перегружает модель деталями и делает её сложной для понимания, кроме того, привязывает модель к конкретной информационной или организационной структуре, что делает модель сложно изменяемой.Предложены критерии и метод согласованной декомпозиции процесса, предполагающий:выделения объектов управления, рассмотрения этапов жизненного цикла каждого из объектов,выделение функций организационного взаимодействия участников.
Для этого следует: (а) разделить информационные объекты так, чтобы они не имели общих компонентов; (б) разделитьработы процесса таким образом, чтобы каждая работа выполнялась только над одним из объектов и не оказывала воздействия на другие объекты, находящиеся на этом же уровне декомпозиции.
Если же подсистемы взаимно влияют друг на друга, рассматривать по отдельности ихнельзя, но только совместно, с учётом их связи.Определены критерии «хорошей» декомпозиции, при этом, разделены понятия «правиль-194ная» и «понятная» декомпозиций. Эти свойства взаимно дополняют, но не заменяют друг друга.В первую очередь модель должна быть правильной, и лишь потом — понятной. Понятные, нонеправильные модели не имеют смысла. В результате декомпозиции мы не должны потерятьсвойства системы или породить новые, которых у исходной системы не было.
Следует говоритьо бездефектности декомпозиции, понимая под этим отсутствие потерь данных, работ и событий, и безызбыточности — отсутствие появления данных, работ и событий, которых не было висходной системе. Для исключения дублирования работ аналитику рекомендуется выполнятьфункциональную декомпозицию работ. В «правильной» декомпозиции подсистемы, полученные в результате разложения, являются независимыми.Предложено новое толкование понятий сцепление и связность, которые широко используются в программной инженерии, но редко применяются при разработке бизнес-процессов. Степень зависимости подпроцессов друг от друга сопоставлена с понятием сцепления процессов.Процессы являются слабо сцепленными, если работы одного процесса не оказывают влияния наобъекты данных другого процесса и переменные состояния этих процессов не имеют общихэлементов данных.
Степень совпадения потоков управления и данных сопоставлена со связностью. Если потоки совпадают, то связность высокая.На основании онтологической модели Бунге-Ванда-Вебера разработан критерий нормального завершения для бизнес-процесса, образованного вокруг одного объекта, предполагающий,что один сигнал на входе, инициирующий исполнение процесса, генерирует ровно один откликна его выходе, отличающийся от существующего сегодня критерия тем, что он адаптирован кисполняемым моделям бизнес-процессов в СУБП.Теоретическая значимость полученных результатов заключается в том, что онтологияБунге-Ванда-Вебера адаптирована для описания модели бизнес-процессов.
При этом впервыеполучен результат, доказывающий дефицит выразительной способности известных языков инотаций моделирования бизнес-процессов, что позволило сформулировать предложения попреодолению этого дефицита. Практическая значимость полученных результатов заключается втом, что они позволяют формализовать семантику визуальной исполняемой модели бизнес-процесса.195ГЛАВА 4ПРОЕКТИРОВАНИЕ ИСПОЛНЯЕМОЙ МОДЕЛИ БИЗНЕСПРОЦЕССАМногие исследования предлагают рассматривать модель как согласованное представлениенескольких перспектив. Мы предлагаем уточнить понятие перспектив модели, разбив каждую изних на отдельные аспекты. Таким образом, у нас появляется критерий оценки конкретной моделипроцесса не только по числу описываемых перспектив, но и по количеству изображаемых аспектов. Кроме того, мы по-новому сгруппируем аспекты.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
