Dynamic skipping and blocking and dead path elimination for cyclic workflows

Dirk Fahland, H. Völzer

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)

    Samenvatting

    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.
    Originele taal-2Engels
    TitelBusiness Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings
    RedacteurenMarcello La Rosa, Peter Loos, Oscar Pastor
    Plaats van productieBerlin
    UitgeverijSpringer
    Pagina's234-251
    Aantal pagina's18
    Volume9850
    ISBN van elektronische versie978-3-319-45348-4
    ISBN van geprinte versie978-3-319-45347-7
    DOI's
    StatusGepubliceerd - 18 sep 2016

    Publicatie series

    NaamLecture notes in computer science
    Volume9850
    ISSN van geprinte versie0302-9743

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Dynamic skipping and blocking and dead path elimination for cyclic workflows'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit