Семинар лаборатории ПОИС: «Алгоритм булевой верификации (АБВ) потоков работ. Эквивалентные преобразования потоков работ» // А. Каленкова

Потоком работ принято считать формальное описание процедуры передачи данных и управления между участниками некоторого бизнес-процесса в соответствии с определенными правилами. Известны различные исполняемые языки описания потоков работ, такие как BPEL, XPDL, BPMN. Все они позволяют явно или неявно задавать поток управления с помощью таких маршрутизирующих элементов как «И-распараллеливание», «И-синхронизация», «ИЛИ-выбор», «ИЛИ-синхронизация», поэтому необходимы средства автоматической проверки сбалансированного использования этих элементов (верификации) при проектировании потоков работ. Кроме того, в ходе формализации бизнес-процесса может быть получен поток работ не оптимальный по времени выполнения. Так, например, поток работ может содержать конструкции, описывающие последовательное исполнение независящих по данным действий. Поэтому особый интерес представляет задача автоматического преобразования потока работ таким образом, что задания независящие по данным будут исполнены параллельно, при этом смысл самого потока работ будет сохранен.

В докладе был рассмотрен новый подход, который обобщает указанные задачи верификации и эквивалентного преобразования потоков работ и предоставляет эффективные алгоритмы их решения.