Decision Modelling in Timed Dynamic Condition Response Graphs with Data

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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.

Original languageEnglish
Title of host publicationBusiness Process Management Workshops - BPM 2021 International Workshops, Revised Selected Papers : BPM 2021 International Workshops Rome, Italy, September 6–10, 2021 Revised Selected Papers
EditorsAndrea Marrella, Barbara Weber
Number of pages13
Publication date2022
ISBN (Print)9783030943424
Publication statusPublished - 2022
EventBPM 2021 International Workshops
- Rome, Italy
Duration: 6 Sep 202110 Sep 2021


ConferenceBPM 2021 International Workshops
SeriesLecture Notes in Business Information Processing
Volume436 LNBIP

Bibliographical note

Publisher Copyright:
© 2022, Springer Nature Switzerland AG.

    Research areas

  • Data, DCR Graphs, Declarative modelling, DMN, Time

ID: 309120694