Declarative Choreographies with Time and Data
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
Declarative Choreographies with Time and Data. / Hildebrandt, Thomas T.; López, Hugo A.; Slaats, Tijs.
Business Process Management Forum - BPM 2023 Forum, Proceedings. red. / Chiara Di Francescomarino; Andrea Burattin; Christian Janiesch; Shazia Sadiq. Springer, 2023. s. 73-89 (Lecture Notes in Business Information Processing, Bind 490 LNBIP).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - GEN
T1 - Declarative Choreographies with Time and Data
AU - Hildebrandt, Thomas T.
AU - López, Hugo A.
AU - Slaats, Tijs
N1 - Funding Information: Work supported by the Danish Council for Independent Research project PAPRICAS.org Publisher Copyright: © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
PY - 2023
Y1 - 2023
N2 - Choreographic models express coordination between business roles, in contrast to standard process models that merge local control flow and communication between parties. A choreography is realizable, also known as endpoint projectable, if the independent behaviour of each role in composition with other roles, only behaves exactly in the same way as described in the choreography. We introduce a novel choreographic language expressing safety and liveness properties, incorporating multi-perspective constraints in communication flows, data, and time. This language builds upon recent developments in declarative choreographies using the Dynamic Condition Response (DCR) graph formalism and extends it to accommodate data and time. The interaction between multiple dimensions can render models unrealizable, so we determine the conditions required for realizability through causal relationships within multi-perspective declarative choreographies. This way, realizable choreographies are guaranteed freedom of conflicts in the message exchanges that otherwise can lead to deadlocks.
AB - Choreographic models express coordination between business roles, in contrast to standard process models that merge local control flow and communication between parties. A choreography is realizable, also known as endpoint projectable, if the independent behaviour of each role in composition with other roles, only behaves exactly in the same way as described in the choreography. We introduce a novel choreographic language expressing safety and liveness properties, incorporating multi-perspective constraints in communication flows, data, and time. This language builds upon recent developments in declarative choreographies using the Dynamic Condition Response (DCR) graph formalism and extends it to accommodate data and time. The interaction between multiple dimensions can render models unrealizable, so we determine the conditions required for realizability through causal relationships within multi-perspective declarative choreographies. This way, realizable choreographies are guaranteed freedom of conflicts in the message exchanges that otherwise can lead to deadlocks.
KW - Choreographies
KW - Declarative Models
KW - Multi-Perspective Process Modelling
U2 - 10.1007/978-3-031-41623-1_5
DO - 10.1007/978-3-031-41623-1_5
M3 - Article in proceedings
AN - SCOPUS:85172671850
SN - 9783031416224
T3 - Lecture Notes in Business Information Processing
SP - 73
EP - 89
BT - Business Process Management Forum - BPM 2023 Forum, Proceedings
A2 - Di Francescomarino, Chiara
A2 - Burattin, Andrea
A2 - Janiesch, Christian
A2 - Sadiq, Shazia
PB - Springer
T2 - Proceedings of the 21st International Conference on Business Process Management, BPM 2023
Y2 - 11 September 2023 through 15 September 2023
ER -
ID: 390297005