Диссертация (1152223), страница 45
Текст из файла (страница 45)
При этом, структуру объекта, образующего информационный поток, внутренние или внешние события, связанные с данным объектом, на диаграмме не могут быть отображены.Можно сделать вывод, диаграмма потоков работ способна изобразить объект и работы,которые его преобразуют. Но она не может показать состояния объекта и временные характеристики его обработки, не может изобразить работы, маршрутизирующие объект.172Диаграмма потоков работДиаграмма потоков работ (workflow — WFD) описывает порядок выполнения операцийпроцесса и представляет собой аннотируемый ориентированный граф, узлы которого — сутьединицы работы, а дуги, показывают очерёдность, в которой исполняются операции процесса,иными словами, потоки управления, а не данных.
Её часто называют трансформирующей,предполагая, что она является подвидом диаграммы потоков данных, что не верно. На рисунке3.23 показана диаграмма WFD, она может изображать не только те операции, которые изменяют и преобразуют входной поток, но и работы, которые данные не изменяют, а маршрутизируют. Например, логические операторы, которые графически изображают функцию принятия решения, поток не трансформируют.
Рассмотрим логический оператор ветвления «ИЛИ», который направляет поток по одной из альтернативных ветвей, в зависимости от значения некоторой переменной процесса, а подписи на дугах WFD отображают состояние этой переменной врезультате очередной операции. Мы ранее предложили структурировать сквозной процесс таким образом, чтобы каждый подпроцесс имел одну переменную состояния. Для такого подпроцесса поток управления образуется в результате движения объекта управления.Значение >пороговогоПотокуправленияА) WFDОперация 2ПотокуправленияОперация 1Операция 4Значение <=пороговогоОперация 3ПотокуправленияПотокуправленияРисунок 3.23 - Диаграмма потоков работ WFDИсточник: составлено автором.Рассмотрим отображение элементов диаграммы потов работ в концептуальную модель.Узлы диаграммы потоков работ соответствуют трансформациям процесса.
Поток управленияможет быть отображён, только если процесс образован единственным объектом, когда потокиуправления и данных совпадают. Диаграмма не может отобразить собственно объект и его состояния, внешние и внутренние события.Диаграмма PERTТехника оценки и анализа программ (Program Evaluation and Review Technique—PERT)[212] обычно используется при управлении проектами и программами, но её можно применитьдля оценки временные характеристики исполнения процесса. PERT это способ анализа временных характеристик операций, необходимых для выполнения процесса.
Различают два типа диаграмм PERT: с работами на узлах и с работами на стрелках. Мы ограничимся рассмотрениемпервого варианта.Диаграмма PERT с работами на узлах есть граф, множество вершин которого отображает173операции процесса, а соединяющие их ориентированные дуги изображают события процесса,как показано на рисунке 3.24. Событие отражается факт, что предшествующая операция былазавершена. Исполнение любой работы можно начинать только после того, как будут завершенывсе предшествующие ей работы. Начало этого процесса — вершина, не имеющая входящих дуг,а завершение — вершина, не имеющая исходящих дуг. Остальные вершины должны иметь идуги обоих типов. Всякой вершине приписываются определённые временные характеристики,это может быть минимальная, нормативная или максимальная продолжительность ожидания иисполнения соответствующей операции процесса.
Последовательность вершин, через которыемы проходим, передвигаясь вдоль дуг от отправной вершины к завершающей, трактуется какпуть, а сумма одноименных временных характеристик — как его продолжительность.Сопоставим элементы диаграммы PERT с концептами онтологии Бунге-Ванда-Вебера.Очевидно, что операции мы можно сопоставить с трансформациями процесса, а дуги — с внутренними событиями онтологии, они отмечают момент времени, когда завершено исполнениеочередной операции и можно переходить к исполнению следующей.
Время ожидания следуетсопоставить с внешним событием, которое инициирует начало исполнения операции. Времяисполнения — это интервал времени, определяющий реальное затраченное время. Таким образом, диаграмма PERT позволяет моделировать длительности операций процесса, однако она неописывает собственно работы процесса, не передаёт структуру объекта.НачалоМинимальное Нормативное МаксимальноеожиданиеожиданиеожиданиеОперация 1Минимальное Нормальное Максимальноеисполнение исполнение исполнениеМинимальное Нормативное МаксимальноеожиданиеожиданиеожиданиеОперация 2Минимальное Нормальное Максимальноеисполнение исполнение исполнениеОперация 1завершенаОперация 1завершенаМинимальное Нормативное МаксимальноеожиданиеожиданиеожиданиеОперация 2завершенаОперация 3завершенаМинимальное Нормальное Максимальноеисполнение исполнение исполнениеОперация 3Минимальное Нормативное МаксимальноеожиданиеожиданиеожиданиеОперация 4Минимальное Нормальное Максимальноеисполнение исполнение исполнениеЗавершениеРисунок 3.24 - Диаграмма PERTИсточник: составлено автором.Сети ПетриСети Петри предназначены для моделирования динамического поведения системы.
Онипредставляют помеченный двудольный ориентированный граф, состоящий из вершин двух типов: позиций и переходов, соединённых между собой дугами, причём вершины одного типа не174могут быть соединены непосредственно, как показано на рисунке 3.25. В позициях могут размещаться маркеры, способные перемещаться по дугам через переходы вдоль сети Петри [222].Маркер обычно ассоциируется с некоторым объектом: предметом, который имеет материальную природу или не материальной информационной сущностью. При этом структура этогообъекта и его состояния на диаграмме не отображается. Переход ассоциируется с работой илиперемещением, он изменяет состояние системы путём перемещения маркера из позиции в позицию. Позиция пассивна, она не изменяет и не перемещает маркер, только сохраняет его между двумя переходами.
Состояние сети Петри в любой момент времени определяется расположением маркеров в позициях, а изменение состояния самого маркера в результате прохождениячерез переход не анализируется.Рисунок 3.25 - Сеть ПетриИсточник: составлено автором.Обычные Сети Петри не позволяют моделировать временные параметры обработки и состояние объекта. Хотя маркер ассоциируется с некоторым предметом, обрабатываемым по ходупроцесса, с изделием или с информационным объектом, состояние всей системы связывается сраспределением маркеров, а изменение состояния самого объекта остаётся вне внимания аналитика.
Таким образом, сеть Петри способна отобразить объект и его перемещения, но не показывает его состояния, трансформации процесса не моделируются, они используются только длясвязи с прочими диаграммами. Модель сетей Петри позволяет моделировать работу логическихоператоров процесса. Это свойство будет использовано нами в дальнейшем, при объяснениисемантики процесса и для верификации логических ошибок в модели бизнес-процесса.Нотация EPCОсновными элементами нотации EPC являются: функции и события.
Функцией называют«предметно-ориентированное задание или действие, выполняемое над объектом» [19]. А событием — «факт, что информационный объект получил связанный с бизнес-процессом статус».События «переключают функции, т.е. передают управление от одной функции к другой». Рисунок 3.26 показывает диаграмму процесса в нотации EPC. Процесс начинается и заканчиваетсявнешними событиями, а все промежуточные события являются внутренними, они фиксируютфакт достижения предопределенного состояния объекта, подвергаемого обработке.
Сила и преимущество нотации EPC в том, что она изображает не только последовательность работ про-175цесса, но и состояния, принимаемые объектом в ходе обработки. Отметим, что нотация EPCфиксирует только факт изменения объекта, но не позволяет описать момент времени, когда изменение произошло, налицо дефицит выразительности.СтартовоесобытиеПромежуточноесостояниеКонечноесобытиеРисунок 3.26 - Внешние и внутренние события на диаграмме EPCИсточник: составлено автором.Ранее рассмотренный пример, изображённый на рисунке 3.15, иллюстрирует неоднозначность отображения объекта, подвергаемого обработке. Таким образом, нотация EPC можетизобразить трансформации, выполняемые над объектом и его состояния, приобретаемые в результате обработки, но она не может показать объект и отобразить события как момент времени, когда начинается или кончается обработка.Нотация BPMNВ качестве примера WFD мы будем рассматривать диаграмму потоков работ в нотацииBPMN [135].
Нотация BPMN применяется для разработки исполняемой модели процесса. Онавключает богатый набор элементов для описания процессов разных типов, но мы рассмотримтолько их ограниченное подмножество, используемое для моделирования процессов оркестровки [68]. В качестве узлов на диаграмме выступают объекты потока управления, включающие: операции, логические операторы и события. Дуги на диаграмме изображают поток управления, который выстраивает узлы в порядке их исполнения.
Спецификация явно не определяет,что есть поток управления, для облегчения восприятия вводится понятие маркер, который трактуется как «теоретическая концепция», используемая для определения поведения исполняемогопроцесса [135]. Маркер движется вдоль модели, его текущее положение указывает на выполняемую операцию. Попытаемся установить, что есть маркер.Выполнение бизнес-процесса всегда связано с одним или несколькими информационнымипотоками.
Как установлено ранее, минимальный поток, образованный идентификатором процесса, присутствует всегда. К сожалению, моделирование информационного потока на диаграмме BPMN вызывает затруднение. Иногда название потока можно увидеть на подписи к дуге диаграммы работ, которая отображает состояние некоторого объекта после обработки.Например, надпись «заявка принята» или «заявка отклонена» позволяет предположить, что дугана диаграмме работ «скрывает» информационный объект «заявка».Хотя нотация BPMN не предусматривает возможность моделирования структур данных,она позволяет изобразить информационные сущности, для этого используются графическиеэлементы объект данных и ассоциация.
Существует два способа отображения факта передачи176объекта данных между операциями процесса. Во-первых, как показано на рисунке 3.27-А,направленная ассоциация явно указывает движение информационного объекта от источника кполучателю. При этом возникает ощущение, что потоки управления и данных существуютнезависимо друг от друга.