{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,27]],"date-time":"2026-09-27T04:36:23Z","timestamp":1790483783705,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3793656.3793684","type":"proceedings-article","created":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T15:00:53Z","timestamp":1783695653000},"page":"95-106","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A Compositional Approach to Mapping BPMN to DCR for Cross-Paradigm Process Modeling"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-1185-6010","authenticated-orcid":false,"given":"Yue","family":"Zhou","sequence":"first","affiliation":[{"name":"DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5162-7936","authenticated-orcid":false,"given":"Hugo A.","family":"L\u00f3pez","sequence":"additional","affiliation":[{"name":"DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,10]]},"reference":[{"key":"e_1_3_3_1_2_2","first-page":"3","volume-title":"International Conference on Business Process Management","author":"Barbaro Luca","year":"2025","unstructured":"Luca Barbaro, Giovanni Varricchione, Marco Montali, and Claudio Di\u00a0Ciccio. 2025. From Sound Workflow Nets to LTLf Declarative Specifications by Casting Three Spells. In International Conference on Business Process Management. Springer, Springer Nature Switzerland, Cham, 3\u201322."},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2016.16"},{"key":"e_1_3_3_1_4_2","first-page":"137","volume-title":"BPM 2023, 21st International Conference on Business Process Management","author":"Bergman Arvid","year":"2023","unstructured":"Arvid Bergman, Adrian Rebmann, and Timotheus Kampik. 2023. BPMN2Constraints: breaking down BPMN diagrams into declarative process query constraints. In BPM 2023, 21st International Conference on Business Process Management. CEUR Workshop Proceedings, Utrecht, the Netherlands, 137\u2013141."},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Mauricio Cano Hugo\u00a0A L\u00f3pez Jorge\u00a0A P\u00e9rez and Camilo Rueda. 2022. Session-based concurrency declaratively. Acta Informatica 59 1 (2022) 1\u201387.","DOI":"10.1007\/s00236-021-00395-w"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.87.5"},{"key":"e_1_3_3_1_7_2","first-page":"1","volume-title":"23rd International Conference on Business Process Management","volume":"4032","author":"Christfort Axel\u00a0KF","year":"2025","unstructured":"Axel\u00a0KF Christfort and Hugo\u00a0A. L\u00f3pez. 2025. DCR-JS: An Online Environment for Declarative Process Mining. In 23rd International Conference on Business Process Management , Vol.\u00a04032. CEUR Workshop Proceedings, Seville, 1\u20135."},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","unstructured":"Flavio Corradini Alessio Ferrari Fabrizio Fornari Stefania Gnesi Andrea Polini Barbara Re and Giorgio\u00a0O. Spagnolo. 2018. A Guidelines framework for understandable BPMN models. Data & Knowledge Engineering 113 (2018) 129\u2013154. 10.1016\/j.datak.2017.11.003","DOI":"10.1016\/j.datak.2017.11.003"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","unstructured":"Flavio Corradini Fabrizio Fornari Andrea Polini Barbara Re and Francesco Tiezzi. 2018. A formal approach to modeling and verification of business process collaborations. Science of Computer Programming 166 (2018) 35\u201370. 10.1016\/j.scico.2018.05.008","DOI":"10.1016\/j.scico.2018.05.008"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-33620-1_22"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","unstructured":"S\u00f8ren Debois Thomas\u00a0T. Hildebrandt and Tijs Slaats. 2018. Replication Refinement & Reachability: Complexity in Dynamic Condition-Response Graphs. Acta Informatica 55 6 (2018) 489\u2013520. 10.1007\/s00236-017-0301-3","DOI":"10.1007\/s00236-017-0301-3"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","unstructured":"Remco\u00a0M. Dijkman Marlon Dumas and Chun Ouyang. 2008. Semantics and analysis of business process models in BPMN. Information and Software Technology 50 12 (2008) 1281\u20131294. 10.1016\/j.infsof.2008.02.006","DOI":"10.1016\/j.infsof.2008.02.006"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-70396-6_28"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","unstructured":"Daniele Gorla. 2010. Towards a unified approach to encodability and separation results for process calculi. Information and Computation 208 9 (2010) 1031\u20131053. 10.1016\/j.ic.2010.05.002","DOI":"10.1016\/j.ic.2010.05.002"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.69.5"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"Thomas\u00a0T. Hildebrandt and Raghava\u00a0Rao Mukkamala. 2011. Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs. Electronic Proceedings in Theoretical Computer Science 69 (2011) 59\u201373.","DOI":"10.4204\/EPTCS.69.5"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45234-6_19"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","unstructured":"Hugo\u00a0A. L\u00f3pez Carlos Olarte and Jorge\u00a0A. P\u00e9rez. 2010. Towards a Unified Framework for Declarative Structured Communications. Electronic Proceedings in Theoretical Computer Science 17 (Feb. 2010) 1\u201315. 10.4204\/eptcs.17.1","DOI":"10.4204\/eptcs.17.1"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Jan Mendling Hajo\u00a0A. Reijers and Jan Recker. 2010. Seven process modeling guidelines (7PMG). Information and Software Technology 52 2 (2010) 127\u2013136. 10.1016\/j.infsof.2009.08.004","DOI":"10.1016\/j.infsof.2009.08.004"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69534-9_35"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2013.22"},{"key":"e_1_3_3_1_22_2","unstructured":"OMG R Parida and S Mahapatra. 2011. Business process model and notation (bpmn) version 2.0. Object Management Group 1 4 (2011) 18."},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/11837862_18"},{"key":"e_1_3_3_1_24_2","first-page":"22","volume-title":"8th international conference on business process management","author":"Pesic M","year":"2006","unstructured":"M Pesic and W\u00a0M\u00a0P van\u00a0der Aalst. 2006. Declare: A service-based language for declarative process modelling. In 8th international conference on business process management. Springer, 22\u201339."},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","unstructured":"Johannes Prescher Claudio Di\u00a0Ciccio and Jan Mendling. 2014. From Declarative Processes to Imperative Models. 10.13140\/2.1.1577.4409","DOI":"10.13140\/2.1.1577.4409"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511777110"},{"key":"e_1_3_3_1_27_2","first-page":"453","volume-title":"International Conference on Process Mining","author":"Sola Diana","year":"2022","unstructured":"Diana Sola, Christian Warmuth, Bernhard Sch\u00e4fer, Peyman Badakhshan, Jana-Rebecca Rehse, and Timotheus Kampik. 2022. Sap signavio academic models: a large process model dataset. In International Conference on Process Mining. Springer, 453\u2013465."},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"crossref","unstructured":"Hongbin Yang Yang Zhang Yirong Lu and Yu Zhou. 2024. Declarative process model translation and text generation. Service Oriented Computing and Applications (2024) 1\u201319.","DOI":"10.1007\/s11761-024-00441-8"}],"event":{"name":"FormaliSE '26: IEEE\/ACM 14th International Conference on Formal Methods in Software Engineering","location":"Rio de Janeiro Brazil","acronym":"FormaliSE '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the IEEE\/ACM 14th International Conference on Formal Methods in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3793656.3793684","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T15:21:32Z","timestamp":1783696892000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3793656.3793684"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":27,"alternative-id":["10.1145\/3793656.3793684","10.1145\/3793656"],"URL":"https:\/\/doi.org\/10.1145\/3793656.3793684","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}