Decision Modelling in Timed Dynamic Condition Response Graphs with Data

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

We provide a formal semantics for timed DCR graphs with decision events and data, and show how the model supports merging declarative decision modelling and process modelling in one notation. We exemplify the model by an expense report process and discuss how decisions may be presented using DMN jointly with the DCR process notation. If data domains are bounded, models are finite state and allow formal verification of both safety and liveness properties. The formal model is fully implemented in commercial process design and workflow management systems provided by DCR Solutions and also freely available for academic use.

OriginalsprogEngelsk
TitelBusiness Process Management Workshops - BPM 2021 International Workshops, Revised Selected Papers : BPM 2021 International Workshops Rome, Italy, September 6–10, 2021 Revised Selected Papers
RedaktørerAndrea Marrella, Barbara Weber
Antal sider13
ForlagSpringer
Publikationsdato2022
Sider362-374
ISBN (Trykt)9783030943424
DOI
StatusUdgivet - 2022
BegivenhedBPM 2021 International Workshops
- Rome, Italien
Varighed: 6 sep. 202110 sep. 2021

Konference

KonferenceBPM 2021 International Workshops
LandItalien
ByRome
Periode06/09/202110/09/2021
NavnLecture Notes in Business Information Processing
Vol/bind436 LNBIP
ISSN1865-1348

Bibliografisk note

Publisher Copyright:
© 2022, Springer Nature Switzerland AG.

ID: 309120694