Decision Modelling in Timed Dynamic Condition Response Graphs with Data

Thomas T. Hildebrandt; Håkon Normann; Morten Marquard; Søren Debois; Tijs Slaats

doi:10.1007/978-3-030-94343-1_28

Decision Modelling in Timed Dynamic Condition Response Graphs with Data

Thomas T. Hildebrandt^*, Håkon Normann, Morten Marquard, Søren Debois, Tijs Slaats

^*Corresponding author af dette arbejde

Software, Data, People & Society

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

8 Citationer (Scopus)

Abstract

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.

Originalsprog	Engelsk
Titel	Business Process Management Workshops - BPM 2021 International Workshops, Revised Selected Papers : BPM 2021 International Workshops Rome, Italy, September 6–10, 2021 Revised Selected Papers
Redaktører	Andrea Marrella, Barbara Weber
Antal sider	13
Forlag	Springer
Publikationsdato	2022
Sider	362-374
ISBN (Trykt)	9783030943424
DOI	https://doi.org/10.1007/978-3-030-94343-1_28
Status	Udgivet - 2022
Begivenhed	BPM 2021 International Workshops - Rome, Italien Varighed: 6 sep. 2021 → 10 sep. 2021

Konference

Konference	BPM 2021 International Workshops
Land/Område	Italien
By	Rome
Periode	06/09/2021 → 10/09/2021

Navn	Lecture Notes in Business Information Processing
Vol/bind	436 LNBIP
ISSN	1865-1348

Bibliografisk note

Publisher Copyright:
© 2022, Springer Nature Switzerland AG.

Adgang til dokumentet

10.1007/978-3-030-94343-1_28

Citationsformater

Hildebrandt, T. T., Normann, H., Marquard, M., Debois, S., & Slaats, T. (2022). Decision Modelling in Timed Dynamic Condition Response Graphs with Data. I A. Marrella, & B. Weber (red.), Business Process Management Workshops - BPM 2021 International Workshops, Revised Selected Papers: BPM 2021 International Workshops Rome, Italy, September 6–10, 2021 Revised Selected Papers (s. 362-374). Springer. Lecture Notes in Business Information Processing Bind 436 LNBIP https://doi.org/10.1007/978-3-030-94343-1_28

Decision Modelling in Timed Dynamic Condition Response Graphs with Data. / Hildebrandt, Thomas T.; Normann, Håkon; Marquard, Morten; Debois, Søren; Slaats, Tijs.

Business Process Management Workshops - BPM 2021 International Workshops, Revised Selected Papers: BPM 2021 International Workshops Rome, Italy, September 6–10, 2021 Revised Selected Papers. red. / Andrea Marrella; Barbara Weber. Springer, 2022. s. 362-374 (Lecture Notes in Business Information Processing, Bind 436 LNBIP).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Hildebrandt, TT, Normann, H, Marquard, M, Debois, S & Slaats, T 2022, Decision Modelling in Timed Dynamic Condition Response Graphs with Data. i A Marrella & B Weber (red), Business Process Management Workshops - BPM 2021 International Workshops, Revised Selected Papers: BPM 2021 International Workshops Rome, Italy, September 6–10, 2021 Revised Selected Papers. Springer, Lecture Notes in Business Information Processing, bind 436 LNBIP, s. 362-374, BPM 2021 International Workshops
, Rome, Italien, 06/09/2021. https://doi.org/10.1007/978-3-030-94343-1_28

Hildebrandt TT, Normann H, Marquard M, Debois S, Slaats T. Decision Modelling in Timed Dynamic Condition Response Graphs with Data. I Marrella A, Weber B, red., Business Process Management Workshops - BPM 2021 International Workshops, Revised Selected Papers: BPM 2021 International Workshops Rome, Italy, September 6–10, 2021 Revised Selected Papers. Springer. 2022. s. 362-374. (Lecture Notes in Business Information Processing, Bind 436 LNBIP). https://doi.org/10.1007/978-3-030-94343-1_28

Hildebrandt, Thomas T. ; Normann, Håkon ; Marquard, Morten ; Debois, Søren ; Slaats, Tijs. / Decision Modelling in Timed Dynamic Condition Response Graphs with Data. Business Process Management Workshops - BPM 2021 International Workshops, Revised Selected Papers: BPM 2021 International Workshops Rome, Italy, September 6–10, 2021 Revised Selected Papers. red. / Andrea Marrella ; Barbara Weber. Springer, 2022. s. 362-374 (Lecture Notes in Business Information Processing, Bind 436 LNBIP).

@inproceedings{826bc9ebf60b474babbe92533edea43b,

title = "Decision Modelling in Timed Dynamic Condition Response Graphs with Data",

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

keywords = "Data, DCR Graphs, Declarative modelling, DMN, Time",

author = "Hildebrandt, {Thomas T.} and H{\aa}kon Normann and Morten Marquard and S{\o}ren Debois and Tijs Slaats",

note = "Publisher Copyright: {\textcopyright} 2022, Springer Nature Switzerland AG.; BPM 2021 International Workshops<br/> ; Conference date: 06-09-2021 Through 10-09-2021",

year = "2022",

doi = "10.1007/978-3-030-94343-1_28",

language = "English",

isbn = "9783030943424",

series = "Lecture Notes in Business Information Processing",

publisher = "Springer",

pages = "362--374",

editor = "Andrea Marrella and Barbara Weber",

booktitle = "Business Process Management Workshops - BPM 2021 International Workshops, Revised Selected Papers",

address = "Switzerland",

}

TY - GEN

T1 - Decision Modelling in Timed Dynamic Condition Response Graphs with Data

AU - Hildebrandt, Thomas T.

AU - Normann, Håkon

AU - Marquard, Morten

AU - Debois, Søren

AU - Slaats, Tijs

PY - 2022

Y1 - 2022

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

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

KW - Data

KW - DCR Graphs

KW - Declarative modelling

KW - DMN

KW - Time

U2 - 10.1007/978-3-030-94343-1_28

DO - 10.1007/978-3-030-94343-1_28

M3 - Article in proceedings

AN - SCOPUS:85124662656

SN - 9783030943424

T3 - Lecture Notes in Business Information Processing

SP - 362

EP - 374

BT - Business Process Management Workshops - BPM 2021 International Workshops, Revised Selected Papers

A2 - Marrella, Andrea

A2 - Weber, Barbara

PB - Springer

T2 - BPM 2021 International Workshops<br/>

Y2 - 6 September 2021 through 10 September 2021

ER -