Dynamic skipping and blocking and dead path elimination for cyclic workflows
ConferentiebijdrageFahland, Dirk & Völzer, H. (2016). Dynamic skipping and blocking and dead path elimination for cyclic workflows. In Peter Loos, Oscar Pastor & Marcello La Rosa (Eds.), Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings (pp. 234-251). (Lecture notes in computer science, No. 9850). Berlin: Springer. In Scopus Cited 1 times.
We propose and study dynamic versions of the classical flexibility constructs skip and block and motivate and define a formal semantics for them. We show that our semantics for dynamic blocking is a generalization of classical dead-path-elimination and solves the long-standing open problem to define dead-path-elimination for cyclic workflows. This gives rise to a simple and fully local
semantics for inclusive gateways.