Dynamic skipping and blocking and dead path elimination for cyclic workflows

Dirk Fahland, H. Völzer

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationBusiness Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings
EditorsMarcello La Rosa, Peter Loos, Oscar Pastor
Place of PublicationBerlin
Number of pages18
ISBN (Electronic)978-3-319-45348-4
ISBN (Print)978-3-319-45347-7
Publication statusPublished - 18 Sep 2016

Publication series

NameLecture notes in computer science
ISSN (Print)0302-9743


Dive into the research topics of 'Dynamic skipping and blocking and dead path elimination for cyclic workflows'. Together they form a unique fingerprint.

Cite this