{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,27]],"date-time":"2026-09-27T04:36:33Z","timestamp":1790483793378,"version":"4.1.0"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032086228","type":"print"},{"value":"9783032086235","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-08623-5_11","type":"book-chapter","created":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T10:42:16Z","timestamp":1760784136000},"page":"204-222","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Detecting Conflicting Object Views in\u00a0Object-Centric Process Choreographies"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5585-1003","authenticated-orcid":false,"given":"Tom","family":"Lichtenstein","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9652-5340","authenticated-orcid":false,"given":"Anjo","family":"Seidel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3346-2442","authenticated-orcid":false,"given":"Mathias","family":"Weske","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,10,19]]},"reference":[{"key":"11_CR1","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"11_CR2","doi-asserted-by":"publisher","unstructured":"Belluccini, S., De\u00a0Nicola, R., Dumas, M., Pullonen-Raudvere, P., Re, B., Tiezzi, F.: Model-based verification of data protection mechanisms in collaborative business processes. Softw. Syst. Model. 24(2), 489\u2013521 (2025). https:\/\/doi.org\/10.1007\/s10270-024-01217-6","DOI":"10.1007\/s10270-024-01217-6"},{"key":"11_CR3","doi-asserted-by":"publisher","unstructured":"Burigana, A., Gianola, A., Montali, M., Winkler, S.: Glocal conformance checking. In: Marrella, A., Resinas, M., Jans, M., Rosemann, M. (eds.) Business Process Management - 22nd International Conference, BPM 2024, Krakow, Poland, September 1-6, 2024, Proceedings. Lecture Notes in Computer Science, vol. 14940, pp. 75\u201392. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-70396-6_5","DOI":"10.1007\/978-3-031-70396-6_5"},{"key":"11_CR4","doi-asserted-by":"publisher","unstructured":"Cheng, A., Christensen, S., Mortensen, K.H.: Model checking coloured petri nets - exploiting strongly connected components. DAIMI Report Series 26(519) (1997). https:\/\/doi.org\/10.7146\/dpb.v26i519.7048","DOI":"10.7146\/dpb.v26i519.7048"},{"key":"11_CR5","doi-asserted-by":"publisher","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Kozen, D. (ed.) Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981. Lecture Notes in Computer Science, vol.\u00a0131, pp. 52\u201371. Springer (1981). https:\/\/doi.org\/10.1007\/BFB0025774","DOI":"10.1007\/BFB0025774"},{"key":"11_CR6","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001). https:\/\/mitpress.mit.edu\/books\/model-checking"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Corradini, F., Morichetta, A., Polini, A., Re, B., Tiezzi, F.: Collaboration vs. choreography conformance in BPMN. Log. Methods Comput. Sci. 16(4) (2020). https:\/\/lmcs.episciences.org\/6861","DOI":"10.23638\/LMCS-16(4:7)2020"},{"key":"11_CR8","doi-asserted-by":"publisher","unstructured":"Decker, G., Weske, M.: Local enforceability in interaction petri nets. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) Business Process Management, vol.\u00a04714, pp. 305\u2013319. Springer Berlin Heidelberg, Berlin, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75183-0_22","DOI":"10.1007\/978-3-540-75183-0_22"},{"key":"11_CR9","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and analysis of BPMN process models using petri nets (2007)"},{"key":"11_CR10","doi-asserted-by":"publisher","unstructured":"Fahland, D.: Describing behavior of processes with many-to-many interactions. In: Donatelli, S., Haar, S. (eds.) Application and Theory of Petri Nets and Concurrency, pp. 3\u201324. Springer International Publishing, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21571-2_1","DOI":"10.1007\/978-3-030-21571-2_1"},{"key":"11_CR11","doi-asserted-by":"publisher","unstructured":"Fdhila, W., Gall, M., Rinderle-Ma, S., Mangler, J., Indiono, C.: Classification and formalization of instance-spanning constraints in process-driven applications. In: Rosa, M.L., Loos, P., Pastor, O. (eds.) Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings. Lecture Notes in Computer Science, vol.\u00a09850, pp. 348\u2013364. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-319-45348-4_20","DOI":"10.1007\/978-3-319-45348-4_20"},{"key":"11_CR12","doi-asserted-by":"publisher","unstructured":"Fleischmann, A.: Limitations of choreography specifications with BPMN. In: Freitag, M., Kinra, A., Kotzab, H., Kreowski, H.J., Thoben, K.D. (eds.) Subject-Oriented Business Process Management. The Digital Workplace - Nucleus of Transformation - 12th International Conference, S-BPM ONE 2020, Bremen, Germany, December 2-3, 2020, Proceedings. Communications in Computer and Information Science, vol.\u00a01278, pp. 203\u2013216. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-64351-5_14","DOI":"10.1007\/978-3-030-64351-5_14"},{"key":"11_CR13","doi-asserted-by":"publisher","unstructured":"Gianola, A., Montali, M., Winkler, S.: Object-centric conformance alignments with synchronization. In: Guizzardi, G., Santoro, F.M., Mouratidis, H., Soffer, P. (eds.) Advanced Information Systems Engineering - 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings. Lecture Notes in Computer Science, vol. 14663, pp. 3\u201319. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-61057-8_1","DOI":"10.1007\/978-3-031-61057-8_1"},{"key":"11_CR14","doi-asserted-by":"publisher","unstructured":"Haarmann, S., Lichtenstein, T., Weske, M.: Fragment-based service choreographies. In: Ardagna, C.A., Bian, H., Chang, C.K., Chang, R.N., Damiani, E., Dustdar, S., Marco, J., Singh, M.P., Teniente, E., Ward, R., Wang, Z., Xhafa, F., Zhang, J. (eds.) IEEE International Conference on Services Computing, SCC 2022, Barcelona, Spain, July 10-16, 2022. pp. 164\u2013173. IEEE (2022). https:\/\/doi.org\/10.1109\/SCC55611.2022.00035","DOI":"10.1109\/SCC55611.2022.00035"},{"key":"11_CR15","doi-asserted-by":"publisher","unstructured":"Haarmann, S., Weske, M.: Cross-case data objects in business processes: semantics and analysis. In: Fahland, D., Ghidini, C., Becker, J., Dumas, M. (eds.) Business Process Management Forum - BPM Forum 2020, Seville, Spain, September 13-18, 2020, Proceedings. Lecture Notes in Business Information Processing, vol.\u00a0392, pp. 3\u201317. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-58638-6_1","DOI":"10.1007\/978-3-030-58638-6_1"},{"key":"11_CR16","doi-asserted-by":"publisher","unstructured":"Hahn, M., Breitenb\u00fccher, U., Kopp, O., Leymann, F.: Modeling and execution of data-aware choreographies: an overview. Comput. Sci. Res. Dev. 33(3-4), 329\u2013340 (2018). https:\/\/doi.org\/10.1007\/s00450-017-0387-y","DOI":"10.1007\/s00450-017-0387-y"},{"issue":"3\u20134","key":"11_CR17","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/S10009-007-0038-X","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured petri nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 9(3\u20134), 213\u2013254 (2007). https:\/\/doi.org\/10.1007\/S10009-007-0038-X","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"11_CR18","doi-asserted-by":"publisher","unstructured":"K\u00f6pke, J., Franceschetti, M., Eder, J.: Optimizing data-flow implementations for inter-organizational processes. Dist. Parallel Databases 37(4), 651\u2013695 (2019). https:\/\/doi.org\/10.1007\/S10619-018-7251-3","DOI":"10.1007\/S10619-018-7251-3"},{"key":"11_CR19","doi-asserted-by":"publisher","unstructured":"Kopp, O., G\u00f6rlach, K., Leymann, F.: Extending choreography spheres to improve simulations. In: Kotsis, G., Taniar, D., Pardede, E., Saleh, I., Khalil, I. (eds.) iiWAS\u20192010 - the 12th International Conference on Information Integration and Web-Based Applications and Services, 8-10 November 2010, Paris, France. pp. 696\u2013699. ACM (2010). https:\/\/doi.org\/10.1145\/1967486.1967598","DOI":"10.1145\/1967486.1967598"},{"key":"11_CR20","unstructured":"Kopp, O., Wieland, M., Leymann, F.: Towards choreography transactions. In: Kopp, O., Lohmann, N. (eds.) 1st Central-European Workshop on Services and Their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009. Proceedings. CEUR Workshop Proceedings, vol.\u00a0438, pp. 49\u201354. CEUR-WS.org (2009), https:\/\/ceur-ws.org\/Vol-438\/paper8.pdf"},{"issue":"2","key":"11_CR21","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/319566.319567","volume":"6","author":"HT Kung","year":"1981","unstructured":"Kung, H.T., Robinson, J.T.: On optimistic methods for concurrency control. ACM Trans. Database Syst. 6(2), 213\u2013226 (1981). https:\/\/doi.org\/10.1145\/319566.319567","journal-title":"ACM Trans. Database Syst."},{"key":"11_CR22","doi-asserted-by":"publisher","unstructured":"Leitner, M., Mangler, J., Rinderle-Ma, S.: Definition and enactment of instance-spanning process constraints. In: Wang, X.S., Cruz, I.F., Delis, A., Huang, G. (eds.) Web Information Systems Engineering - WISE 2012 - 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings. Lecture Notes in Computer Science, vol.\u00a07651, pp. 652\u2013658. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-35063-4_49","DOI":"10.1007\/978-3-642-35063-4_49"},{"key":"11_CR23","unstructured":"Lichtenstein, T., Weske, M.: Data consistency as a criterion for process choreography design. In: Link, S., Reinhartz-Berger, I., Zdravkovic, J., Bork, D., Srinivasa, S. (eds.) Proceedings of the ER Forum and PhD Symposium 2022 Co-Located with 41st International Conference on Conceptual Modeling (ER 2022), Virtual Event, Hyderabad, India, October 17, 2022. CEUR Workshop Proceedings, vol.\u00a03211. CEUR-WS.org (2022). https:\/\/ceur-ws.org\/Vol-3211\/CR_095.pdf"},{"key":"11_CR24","doi-asserted-by":"publisher","unstructured":"Lichtenstein, T., Weske, M.: Execution semantics for process choreographies with data. In: Francescomarino, C.D., Burattin, A., Janiesch, C., Sadiq, S.W. (eds.) Business Process Management Forum - BPM 2023 Forum, Utrecht, the Netherlands, September 11-15, 2023, Proceedings. Lecture Notes in Business Information Processing, vol.\u00a0490, pp. 90\u2013106. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-41623-1_6","DOI":"10.1007\/978-3-031-41623-1_6"},{"key":"11_CR25","doi-asserted-by":"publisher","unstructured":"Lohmann, N., Wolf, K.: Artifact-centric choreographies. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) Service-Oriented Computing - 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings. Lecture Notes in Computer Science, vol.\u00a06470, pp. 32\u201346 (2010). https:\/\/doi.org\/10.1007\/978-3-642-17358-5_3","DOI":"10.1007\/978-3-642-17358-5_3"},{"key":"11_CR26","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 53, 296\u2013329 (2015). https:\/\/doi.org\/10.1016\/j.is.2015.03.008","journal-title":"Automating data exchange in process choreographies"},{"key":"11_CR27","doi-asserted-by":"publisher","first-page":"77526","DOI":"10.1109\/ACCESS.2021.3081742","volume":"9","author":"F Nejati","year":"2021","unstructured":"Nejati, F., Ghani, A.A.A., Ng, K.Y., Jafaar, A.B.: Handling state space explosion in component-based software verification: a review. IEEE Access Pract. Innov. Open Solut. 9, 77526\u201377544 (2021). https:\/\/doi.org\/10.1109\/ACCESS.2021.3081742","journal-title":"IEEE Access Pract. Innov. Open Solut."},{"key":"11_CR28","doi-asserted-by":"publisher","unstructured":"Nikaj, A., Weske, M.: Formal specification of RESTful choreography properties. In: Bozzon, A., Cudr\u00e9-Mauroux, P., Pautasso, C. (eds.) Web Engineering - 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings. Lecture Notes in Computer Science, vol.\u00a09671, pp. 365\u2013372. Springer (2016), https:\/\/doi.org\/10.1007\/978-3-319-38791-8_21","DOI":"10.1007\/978-3-319-38791-8_21"},{"key":"11_CR29","unstructured":"(OMG), O.M.G.: Business Process Model and Notation (BPMN), Version 2.0.2: Standard (2014). https:\/\/www.omg.org\/spec\/BPMN\/2.0.2\/PDF"},{"issue":"34","key":"11_CR30","doi-asserted-by":"publisher","first-page":"4439","DOI":"10.1016\/J.TCS.2011.05.007","volume":"412","author":"F Rosa-Velardo","year":"2011","unstructured":"Rosa-Velardo, F., de Frutos-Escrig, D.: Decidability and complexity of Petri nets with unordered data. Theoret. Comput. Sci. 412(34), 4439\u20134451 (2011). https:\/\/doi.org\/10.1016\/J.TCS.2011.05.007","journal-title":"Theoret. Comput. Sci."},{"issue":"04","key":"11_CR31","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0218843001000412","volume":"10","author":"WM Aalst","year":"2001","unstructured":"Aalst, W.M., Barthelmess, P., Ellis, C.A., Wainer, J.: PROCLETS: a framework for lightweight interacting workflow processes. Int. J. Cooper. Info. Syst. 10(04), 443\u2013481 (2001)","journal-title":"Int. J. Cooper. Info. Syst."},{"issue":"2\u20134","key":"11_CR32","doi-asserted-by":"publisher","first-page":"159","DOI":"10.3233\/FI-242169","volume":"190","author":"JMEM Werf","year":"2024","unstructured":"Werf, J.M.E.M., Rivkin, A., Montali, M., Polyvyanyy, A.: Correctness notions for petri nets with identifiers. Fund. Info. 190(2\u20134), 159\u2013207 (2024). https:\/\/doi.org\/10.3233\/FI-242169","journal-title":"Fund. Info."},{"key":"11_CR33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-69518-0","author":"M Weske","year":"2024","unstructured":"Weske, M.: Business process management - concepts, languages, architectures. Fourth Edition. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-662-69518-0","journal-title":"Fourth Edition. Springer"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-08623-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,19]],"date-time":"2026-08-19T06:55:10Z","timestamp":1787122510000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-08623-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,19]]},"ISBN":["9783032086228","9783032086235"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-08623-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,19]]},"assertion":[{"value":"19 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","label":"Disclosure of Interests","group":{"name":"EthicsHeading","label":"Ethics"}},{"value":"ER","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Conceptual Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poitiers","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"44","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"er2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/er2025.ensma.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}