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 -