Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
For simplicity, we will not consider explicit dates in expressions, however, this is supported in the process engine available for free academic use at dcrsolutions.net.
- 2.
specified as P7D in the ISO 8601 standard.
- 3.
Note that this differs from the original definition of timed DCR Graphs.
References
Abbad Andaloussi, A., Buch-Lorentsen, J., López, H.A., Slaats, T., Weber, B.: Exploring the modeling of declarative processes using a hybrid approach. In: Laender, A.H.F., Pernici, B., Lim, E.-P., de Oliveira, J.P.M. (eds.) ER 2019. LNCS, vol. 11788, pp. 162–170. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-33223-5_14
Bettini, L., et al.: The Klaim Project: theory and practice. In: Priami, C. (ed.) GC 2003. LNCS, vol. 2874, pp. 88–150. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-40042-4_4
Bocchi, L., Murgia, M., Vasconcelos, V.T., Yoshida, N.: Asynchronous timed session types. In: Caires, L. (ed.) ESOP 2019. LNCS, vol. 11423, pp. 583–610. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-17184-1_21
Brahem, A., et al.: A trustworthy decentralized change propagation mechanism for declarative choreographies. In: Di Ciccio, C., Dijkman, R., del Río Ortega, A., Rinderle-Ma, S. (eds) Business Process Management. BPM 2022. Lecture Notes in Computer Science. vol 13420. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-16103-2_27
Bruni, R., Corradini, A., Gadducci, F., Melgratti, H., Montanari, U., Tuosto, E.: Data-driven choreographies à la Klaim. In: Boreale, M., Corradini, F., Loreti, M., Pugliese, R. (eds.) Models, Languages, and Tools for Concurrent and Distributed Programming. LNCS, vol. 11665, pp. 170–190. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-21485-2_11
Caires, L., Vieira, H.T.: Analysis of service oriented software systems with the conversation calculus. In: Barbosa, L.S., Lumpe, M. (eds.) FACS 2010. LNCS, vol. 6921, pp. 6–33. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-27269-1_2
Cano, M., López, H.A., Pérez, J.A., Rueda, C.: Session-based concurrency, declaratively. Acta Informatica 59(1), 1–87 (2022)
Fdhila, W., Indiono, C., Rinderle-Ma, S., Reichert, M.: Dealing with change in process choreographies: design and implementation of propagation algorithms. Inf. Syst. 49, 1–24 (2015)
Giallorenzo, S., Montesi, F., Gabbrielli, M.: Applied choreographies. In: Baier, C., Caires, L. (eds.) FORTE 2018. LNCS, vol. 10854, pp. 21–40. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-92612-4_2
Giallorenzo, S., Montesi, F., Peressotti, M.: Choreographies as objects. arXiv preprint arXiv:2005.09520 (2020)
Guo, H.: Extension of Declarative Choreographies and Its Application in Distributed Systems. Master’s thesis, University of Copenhagen (2022)
Hildebrandt, T.T., et al.: EcoKnow: engineering effective, co-created and compliant adaptive case management systems for knowledge workers. In: 2020 IEEE/ACM International Conference on Software and System Processes (ICSSP), pp. 155–164. ACM (2020)
Hildebrandt, T.T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: PLACES. Electronic Proceedings in Theoretical Computer Science (EPTCS). vol. 69, pp. 59–73 (2010)
Hildebrandt, T.T., Mukkamala, R.R., Slaats, T., Zanitti, F.: Contracts for cross-organizational workflows as timed dynamic condition response graphs. JLAMP 82(5–7), 164–185 (2013)
Hildebrandt, T.T., Normann, H., Marquard, M., Debois, S., Slaats, T.: Decision modelling in timed dynamic condition response graphs with data. In: Marrella, A., Weber, B. (eds.) BPM 2021. LNBIP, vol. 436, pp. 362–374. Springer, Cham (2022). https://doi.org/10.1007/978-3-030-94343-1_28
Hildebrandt, T.T., Slaats, T., López, H.A., Debois, S., Carbone, M.: Declarative choreographies and liveness. In: Pérez, J.A., Yoshida, N. (eds.) FORTE 2019. LNCS, vol. 11535, pp. 129–147. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-21759-4_8
Ladleif, J., Weske, M., Weber, I.: Modeling and enforcing blockchain-based choreographies. In: Hildebrandt, T., van Dongen, B.F., Röglinger, M., Mendling, J. (eds.) BPM 2019. LNCS, vol. 11675, pp. 69–85. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-26619-6_7
López, H.A., Pérez, J.A.: Time and exceptional behavior in multiparty structured interactions. In: Carbone, M., Petit, J.-M. (eds.) WS-FM 2011. LNCS, vol. 7176, pp. 48–63. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-29834-9_5
Meyer, A., Pufahl, L., Batoulis, K., Fahland, D., Weske, M.: Automating data exchange in process choreographies. Inf. Syst. 53, 296–329 (2015)
Montesi, F.: Choreographic Programming. Ph.D. thesis, ITU, Copenhagen (2013)
Mukkamala, R.R.: A Formal Model For Declarative Workflows: Dynamic Condition Response Graphs. Ph.D. thesis, IT University of Copenhagen (June 2012)
Object Management Group BPMN Technical Committee: Business Process Model and Notation, version 2.0.2 (2014). http://www.omg.org/spec/BPMN/2.0.2/PDF
Tiezzi, F., Re, B., Polini, A., Morichetta, A., Corradini, F.: Collaboration vs. choreography conformance in BPMN. In: Logical Methods in Computer Science. vol. 16 (2020)
Acknowledgments
Work supported by the Danish Council for Independent Research project PAPRICAS.org
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Hildebrandt, T.T., López, H.A., Slaats, T. (2023). Declarative Choreographies with Time and Data. In: Di Francescomarino, C., Burattin, A., Janiesch, C., Sadiq, S. (eds) Business Process Management Forum. BPM 2023. Lecture Notes in Business Information Processing, vol 490. Springer, Cham. https://doi.org/10.1007/978-3-031-41623-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-031-41623-1_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-41622-4
Online ISBN: 978-3-031-41623-1
eBook Packages: Computer ScienceComputer Science (R0)