Decision Modelling in Timed Dynamic Condition Response Graphs with Data
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
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.
|Title of host publication||Business Process Management Workshops - BPM 2021 International Workshops, Revised Selected Papers : BPM 2021 International Workshops Rome, Italy, September 6–10, 2021 Revised Selected Papers|
|Editors||Andrea Marrella, Barbara Weber|
|Number of pages||13|
|Publication status||Published - 2022|
|Event||BPM 2021 International Workshops|
- Rome, Italy
Duration: 6 Sep 2021 → 10 Sep 2021
|Conference||BPM 2021 International Workshops|
|Periode||06/09/2021 → 10/09/2021|
|Series||Lecture Notes in Business Information Processing|
© 2022, Springer Nature Switzerland AG.
- Data, DCR Graphs, Declarative modelling, DMN, Time