Declarative Choreographies with Time and Data

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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.

Original languageEnglish
Title of host publicationBusiness Process Management Forum - BPM 2023 Forum, Proceedings
EditorsChiara Di Francescomarino, Andrea Burattin, Christian Janiesch, Shazia Sadiq
Number of pages17
Publication date2023
ISBN (Print)9783031416224
Publication statusPublished - 2023
EventProceedings of the 21st International Conference on Business Process Management, BPM 2023 - Utrecht, Netherlands
Duration: 11 Sep 202315 Sep 2023


ConferenceProceedings of the 21st International Conference on Business Process Management, BPM 2023
SeriesLecture Notes in Business Information Processing
Volume490 LNBIP

Bibliographical note

Funding Information:
Work supported by the Danish Council for Independent Research project

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

    Research areas

  • Choreographies, Declarative Models, Multi-Perspective Process Modelling

ID: 390297005