Dynamic skipping and blocking and dead path elimination for cyclic workflows

Dirk Fahland; H. Völzer

doi:10.1007/978-3-319-45348-4_14

Dynamic skipping and blocking and dead path elimination for cyclic workflows

Dirk Fahland
, H. Völzer

Process Analytics

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

4 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-2	Engels
Titel	Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings
Redacteuren	Marcello La Rosa, Peter Loos, Oscar Pastor
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	234-251
Aantal pagina's	18
Volume	9850
ISBN van elektronische versie	978-3-319-45348-4
ISBN van geprinte versie	978-3-319-45347-7
DOI's	https://doi.org/10.1007/978-3-319-45348-4_14
Status	Gepubliceerd - 18 sep. 2016

Publicatie series

Naam	Lecture notes in computer science
Volume	9850
ISSN van geprinte versie	0302-9743

Toegang tot document

10.1007/978-3-319-45348-4_14

Citeer dit

Fahland, D., & Völzer, H. (2016). Dynamic skipping and blocking and dead path elimination for cyclic workflows. In M. L. Rosa, P. Loos, & O. Pastor (editors), Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings (Vol. 9850, blz. 234-251). (Lecture notes in computer science; Vol. 9850). Springer. https://doi.org/10.1007/978-3-319-45348-4_14

Fahland, Dirk ; Völzer, H. / Dynamic skipping and blocking and dead path elimination for cyclic workflows. Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings. redacteur / Marcello La Rosa ; Peter Loos ; Oscar Pastor. Vol. 9850 Berlin : Springer, 2016. blz. 234-251 (Lecture notes in computer science).

@inproceedings{1c4e7f72fbe24c12bcc973103e0162ef,

title = "Dynamic skipping and blocking and dead path elimination for cyclic workflows",

abstract = "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.",

author = "Dirk Fahland and H. V{\"o}lzer",

year = "2016",

month = sep,

day = "18",

doi = "10.1007/978-3-319-45348-4\_14",

language = "English",

isbn = "978-3-319-45347-7",

volume = "9850",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "234--251",

editor = "Rosa, \{Marcello La\} and Peter Loos and Oscar Pastor",

booktitle = "Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings",

address = "Germany",

}

Fahland, D & Völzer, H 2016, Dynamic skipping and blocking and dead path elimination for cyclic workflows. in ML Rosa, P Loos & O Pastor (reds.), Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings. vol. 9850, Lecture notes in computer science, vol. 9850, Springer, Berlin, blz. 234-251. https://doi.org/10.1007/978-3-319-45348-4_14

Dynamic skipping and blocking and dead path elimination for cyclic workflows. / Fahland, Dirk; Völzer, H.
Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings. reds. / Marcello La Rosa; Peter Loos; Oscar Pastor. Vol. 9850 Berlin: Springer, 2016. blz. 234-251 (Lecture notes in computer science; Vol. 9850).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Dynamic skipping and blocking and dead path elimination for cyclic workflows

AU - Fahland, Dirk

AU - Völzer, H.

PY - 2016/9/18

Y1 - 2016/9/18

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-45348-4_14

DO - 10.1007/978-3-319-45348-4_14

M3 - Conference contribution

SN - 978-3-319-45347-7

VL - 9850

T3 - Lecture notes in computer science

SP - 234

EP - 251

BT - Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings

A2 - Rosa, Marcello La

A2 - Loos, Peter

A2 - Pastor, Oscar

PB - Springer

CY - Berlin

ER -

Fahland D, Völzer H. Dynamic skipping and blocking and dead path elimination for cyclic workflows. In Rosa ML, Loos P, Pastor O, redacteurs, Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings. Vol. 9850. Berlin: Springer. 2016. blz. 234-251. (Lecture notes in computer science). doi: 10.1007/978-3-319-45348-4_14

Dynamic skipping and blocking and dead path elimination for cyclic workflows

Samenvatting

Publicatie series

Toegang tot document

Vingerafdruk

Citeer dit