Cédric Favre, Dirk Fahland, et al.
Information Systems
We propose and study dynamic versions of the classical flexibility constructs 'skip’ and ‘block’ for workflows and motivate and define a formal semantics for them. We show that our semantics is a generalization of dead-path-elimination and solves the open problem to define dead-path-elimination for cyclic workflows. This in turn gives rise to a simple and fully local semantics for inclusive gateways. Finally, we show how our new constructs can be enacted on existing process engines by a workflow transformation that stores control-flow information in process variables.
Cédric Favre, Dirk Fahland, et al.
Information Systems
Dirk Fahland, Cédric Favre, et al.
Data and Knowledge Engineering
Mirela Botezatu, Hagen Volzer, et al.
ICECCS 2015
Jochen Kuster, Niklaus Meyer, et al.
EDOC 2019