Введение в формальные методы описания бизнес-процессов. Кулябов Д.С - 14 стр.

UptoLike

14 Глава 1. Базовые понятия в области управления бизнес-процессами и в
Тем не менее ряд формальных языков описания бизнес-процессов (например,
WPDL и XPDLкоалиции WfMC) включают в себя многие понятия и концеп-
ции сетей Петри, такие как узлы, переходы, условия и т.д.
Концепция π-исчисления была разработана в конце 80-х г. XX в. Роби-
ном Милнером и основана на алгебре параллельных процессов. В отличие от
сетей Петри, математическими объектами π-исчисления являются не графы,
а выражения над элементами специальных множеств и преобразования над
этими выражениями. К формальным языкам описания бизнес-процессов на
базе π-исчисления относят BPML и BPEL.
1.3.3. WorkFlow- и DocFlow-системы
BPM-системы делятся на WorkFlow-системы и DocFlow-системы.
Основным элементом WorkFlow-системы является поток работ. В Work-
Flow-системе деятельность бизнес-системы можно представить в виде эле-
ментов работы, перемещающихся по определённому маршруту между испол-
нителями в соответствии с заданными правилами. При этом от одного испол-
нителя к другому передаётся точка управления. Данная парадигма легко пред-
ставима в виде графа.
Основным элементом DocFlow-системы является поток документов. В
DocFlow-системе деятельность бизнес-системы можно представить в виде
документов, перемещающихся между их редакторами по определённому марш-
руту в соответствии с заданными правилами. При этом от одного редактора к
другому передаётся не точка управления, а «корзины» документов.
В настоящее время WorkFlow- и DocFlow-системы представляют собой
системы разных типов, однако постепенно системы документооборота по функ-
циональности приближаются к WorkFlow-системам. При помощи DocFlow-
систем можно моделировать многие виды бизнес-процессов, а посредством
WorkFlow-систем автоматизировать элементы документооборота.