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

    2 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