Declarative Choreographies with Time and Data
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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 language | English |
---|---|
Title of host publication | Business Process Management Forum - BPM 2023 Forum, Proceedings |
Editors | Chiara Di Francescomarino, Andrea Burattin, Christian Janiesch, Shazia Sadiq |
Number of pages | 17 |
Publisher | Springer |
Publication date | 2023 |
Pages | 73-89 |
ISBN (Print) | 9783031416224 |
DOIs | |
Publication status | Published - 2023 |
Event | Proceedings of the 21st International Conference on Business Process Management, BPM 2023 - Utrecht, Netherlands Duration: 11 Sep 2023 → 15 Sep 2023 |
Conference
Conference | Proceedings of the 21st International Conference on Business Process Management, BPM 2023 |
---|---|
Land | Netherlands |
By | Utrecht |
Periode | 11/09/2023 → 15/09/2023 |
Series | Lecture Notes in Business Information Processing |
---|---|
Volume | 490 LNBIP |
ISSN | 1865-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.
- Choreographies, Declarative Models, Multi-Perspective Process Modelling
Research areas
ID: 390297005