{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T05:42:02Z","timestamp":1776750122909,"version":"3.51.2"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031416224","type":"print"},{"value":"9783031416231","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-41623-1_5","type":"book-chapter","created":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T23:03:46Z","timestamp":1693523026000},"page":"73-89","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Declarative Choreographies with\u00a0Time and\u00a0Data"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7435-5563","authenticated-orcid":false,"given":"Thomas T.","family":"Hildebrandt","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5162-7936","authenticated-orcid":false,"given":"Hugo A.","family":"L\u00f3pez","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6244-6970","authenticated-orcid":false,"given":"Tijs","family":"Slaats","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,9,1]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-030-33223-5_14","volume-title":"Conceptual Modeling","author":"A Abbad Andaloussi","year":"2019","unstructured":"Abbad Andaloussi, A., Buch-Lorentsen, J., L\u00f3pez, 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\u2013170. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-33223-5_14"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-540-40042-4_4","volume-title":"Global Computing. Programming Environments, Languages, Security, and Analysis of Systems","author":"L Bettini","year":"2003","unstructured":"Bettini, L., et al.: The Klaim Project: theory and practice. In: Priami, C. (ed.) GC 2003. LNCS, vol. 2874, pp. 88\u2013150. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-40042-4_4"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/978-3-030-17184-1_21","volume-title":"Programming Languages and Systems","author":"L Bocchi","year":"2019","unstructured":"Bocchi, L., Murgia, M., Vasconcelos, V.T., Yoshida, N.: Asynchronous timed session types. In: Caires, L. (ed.) ESOP 2019. LNCS, vol. 11423, pp. 583\u2013610. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17184-1_21"},{"key":"5_CR4","doi-asserted-by":"publisher","unstructured":"Brahem, A., et al.: A trustworthy decentralized change propagation mechanism for declarative choreographies. In: Di Ciccio, C., Dijkman, R., del R\u00edo 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","DOI":"10.1007\/978-3-031-16103-2_27"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-030-21485-2_11","volume-title":"Models, Languages, and Tools for Concurrent and Distributed Programming","author":"R Bruni","year":"2019","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Melgratti, H., Montanari, U., Tuosto, E.: Data-driven choreographies \u00e0 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\u2013190. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21485-2_11"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-642-27269-1_2","volume-title":"Formal Aspects of Component Software","author":"L Caires","year":"2012","unstructured":"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\u201333. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-27269-1_2"},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00236-021-00395-w","volume":"59","author":"M Cano","year":"2022","unstructured":"Cano, M., L\u00f3pez, H.A., P\u00e9rez, J.A., Rueda, C.: Session-based concurrency, declaratively. Acta Informatica 59(1), 1\u201387 (2022)","journal-title":"Acta Informatica"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.is.2014.10.004","volume":"49","author":"W Fdhila","year":"2015","unstructured":"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\u201324 (2015)","journal-title":"Inf. Syst."},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-319-92612-4_2","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"S Giallorenzo","year":"2018","unstructured":"Giallorenzo, S., Montesi, F., Gabbrielli, M.: Applied choreographies. In: Baier, C., Caires, L. (eds.) FORTE 2018. LNCS, vol. 10854, pp. 21\u201340. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-92612-4_2"},{"key":"5_CR10","unstructured":"Giallorenzo, S., Montesi, F., Peressotti, M.: Choreographies as objects. arXiv preprint arXiv:2005.09520 (2020)"},{"key":"5_CR11","unstructured":"Guo, H.: Extension of Declarative Choreographies and Its Application in Distributed Systems. Master\u2019s thesis, University of Copenhagen (2022)"},{"key":"5_CR12","unstructured":"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\u2013164. ACM (2020)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"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\u201373 (2010)","DOI":"10.4204\/EPTCS.69.5"},{"issue":"5\u20137","key":"5_CR14","first-page":"164","volume":"82","author":"TT Hildebrandt","year":"2013","unstructured":"Hildebrandt, T.T., Mukkamala, R.R., Slaats, T., Zanitti, F.: Contracts for cross-organizational workflows as timed dynamic condition response graphs. JLAMP 82(5\u20137), 164\u2013185 (2013)","journal-title":"JLAMP"},{"key":"5_CR15","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-030-94343-1_28","volume-title":"Business Process Management Workshops","author":"TT Hildebrandt","year":"2022","unstructured":"Hildebrandt, T.T., Normann, H., Marquard, M., Debois, S., Slaats, T.: Decision modelling in\u00a0timed dynamic condition response graphs with\u00a0data. In: Marrella, A., Weber, B. (eds.) BPM 2021. LNBIP, vol. 436, pp. 362\u2013374. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-94343-1_28"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-030-21759-4_8","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"TT Hildebrandt","year":"2019","unstructured":"Hildebrandt, T.T., Slaats, T., L\u00f3pez, H.A., Debois, S., Carbone, M.: Declarative choreographies and liveness. In: P\u00e9rez, J.A., Yoshida, N. (eds.) FORTE 2019. LNCS, vol. 11535, pp. 129\u2013147. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21759-4_8"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-030-26619-6_7","volume-title":"Business Process Management","author":"J Ladleif","year":"2019","unstructured":"Ladleif, J., Weske, M., Weber, I.: Modeling and enforcing blockchain-based choreographies. In: Hildebrandt, T., van Dongen, B.F., R\u00f6glinger, M., Mendling, J. (eds.) BPM 2019. LNCS, vol. 11675, pp. 69\u201385. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-26619-6_7"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-29834-9_5","volume-title":"Web Services and Formal Methods","author":"HA L\u00f3pez","year":"2012","unstructured":"L\u00f3pez, H.A., P\u00e9rez, 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\u201363. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29834-9_5"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1016\/j.is.2015.03.008","volume":"53","author":"A Meyer","year":"2015","unstructured":"Meyer, A., Pufahl, L., Batoulis, K., Fahland, D., Weske, M.: Automating data exchange in process choreographies. Inf. Syst. 53, 296\u2013329 (2015)","journal-title":"Inf. Syst."},{"key":"5_CR20","unstructured":"Montesi, F.: Choreographic Programming. Ph.D. thesis, ITU, Copenhagen (2013)"},{"key":"5_CR21","unstructured":"Mukkamala, R.R.: A Formal Model For Declarative Workflows: Dynamic Condition Response Graphs. Ph.D. thesis, IT University of Copenhagen (June 2012)"},{"key":"5_CR22","unstructured":"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"},{"key":"5_CR23","unstructured":"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)"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Forum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-41623-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T11:36:34Z","timestamp":1710329794000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-41623-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031416224","9783031416231"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-41623-1_5","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"1 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BPM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Process Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Utrecht","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpm2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/bpm2023.sites.uu.nl\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"151","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"In addition, for the BPM Forum 23 papers were accepted. 18 papers of 42 submissions were accepted for the Blockchain- Educators- and RPA Forum.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}