Standard
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 › fagfællebedømt
Harvard
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
APA
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
Vancouver
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
Author
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).
Bibtex
@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",
}
RIS
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
N1 - Publisher Copyright:
© 2022, Springer Nature Switzerland AG.
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 -
