Declarative Choreographies with Time and Data

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

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.

OriginalsprogEngelsk
TitelBusiness Process Management Forum - BPM 2023 Forum, Proceedings
RedaktørerChiara Di Francescomarino, Andrea Burattin, Christian Janiesch, Shazia Sadiq
Antal sider17
ForlagSpringer
Publikationsdato2023
Sider73-89
ISBN (Trykt)9783031416224
DOI
StatusUdgivet - 2023
BegivenhedProceedings of the 21st International Conference on Business Process Management, BPM 2023 - Utrecht, Holland
Varighed: 11 sep. 202315 sep. 2023

Konference

KonferenceProceedings of the 21st International Conference on Business Process Management, BPM 2023
LandHolland
ByUtrecht
Periode11/09/202315/09/2023
NavnLecture Notes in Business Information Processing
Vol/bind490 LNBIP
ISSN1865-1348

Bibliografisk note

Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

ID: 390297005