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
PublisherSpringer
Publication date2023
Pages73-89
ISBN (Print)9783031416224
DOIs
Publication statusPublished - 2023
EventProceedings of the 21st International Conference on Business Process Management, BPM 2023 - Utrecht, Netherlands
Duration: 11 Sep 202315 Sep 2023

Conference

ConferenceProceedings of the 21st International Conference on Business Process Management, BPM 2023
LandNetherlands
ByUtrecht
Periode11/09/202315/09/2023
SeriesLecture Notes in Business Information Processing
Volume490 LNBIP
ISSN1865-1348

Bibliographical note

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.

    Research areas

  • Choreographies, Declarative Models, Multi-Perspective Process Modelling

ID: 390297005