Dynamic skipping and blocking, dead path elimination for cyclic workflows, and a local semantics for inclusive gateways

Highlights：

• We provide dynamic skipping and blocking of tasks and paths for BPMN-like languages through local, compositional semantics.

• Our proposal for dynamic blocking generalizes the Dead-Path-Elimination concept to general control flow, including cycles.

• Our generalization of DPE to cyclic flow graphs yields a purely local, compositional semantics for inclusive join behavior.

• The local inclusive join can be enacted faster, is easier to understand and use, and permits more refactoring operations.

• Dynamic skipping and blocking and the local inclusive join can be enacted on existing engines through model transformation.

摘要

•We provide dynamic skipping and blocking of tasks and paths for BPMN-like languages through local, compositional semantics.•Our proposal for dynamic blocking generalizes the Dead-Path-Elimination concept to general control flow, including cycles.•Our generalization of DPE to cyclic flow graphs yields a purely local, compositional semantics for inclusive join behavior.•The local inclusive join can be enacted faster, is easier to understand and use, and permits more refactoring operations.•Dynamic skipping and blocking and the local inclusive join can be enacted on existing engines through model transformation.

论文关键词：Process modeling,Process modeling languages,BPMN,Process flexibility by design,Dead path elimination,Inclusive gateway semantics,Skipping and blocking

论文评审过程：Received 21 December 2016, Revised 29 August 2017, Accepted 22 April 2018, Available online 25 April 2018, Version of Record 13 September 2018.