{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T18:00:00Z","timestamp":1784743200558,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":75,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T00:00:00Z","timestamp":1726963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,22]]},"DOI":"10.1145\/3640310.3674097","type":"proceedings-article","created":{"date-parts":[[2024,9,30]],"date-time":"2024-09-30T13:38:07Z","timestamp":1727703487000},"page":"268-279","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Requirement-Driven Generation of Distributed Ledger Architectures"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6542-5291","authenticated-orcid":false,"given":"Noor Mohammed Sabr","family":"Al-Gburi","sequence":"first","affiliation":[{"name":"Budapest University of Technology and Economics, Department of Artificial Intelligence and Systems, Engineering Budapest, Hungary"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4559-6990","authenticated-orcid":false,"given":"Andr\u00e1s","family":"F\u00f6ldv\u00e1ri","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Department of Artificial Intelligence and Systems, Engineering Budapest, Hungary"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9135-8256","authenticated-orcid":false,"given":"Krist\u00f3f","family":"Marussy","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Department of Artificial Intelligence and Systems, Engineering Budapest, Hungary"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3592-5105","authenticated-orcid":false,"given":"Oszk\u00e1r","family":"Semer\u00e1th","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Department of Artificial Intelligence and Systems, Engineering Budapest, Hungary"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2792-3572","authenticated-orcid":false,"given":"Imre","family":"Kocsis","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Department of Artificial Intelligence and Systems, Engineering Budapest, Hungary"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,9,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2020. Xcore. https:\/\/wiki.eclipse.org\/Xcore."},{"key":"e_1_3_2_1_2_1","volume-title":"Csaba Debreceni, \u00c1bel Heged\u00fcs, and \u00c1kos Horv\u00e1th.","author":"Abdeen Hani","year":"2014","unstructured":"Hani Abdeen, D\u00e1niel Varr\u00f3, Houari Sahraoui, Andr\u00e1s Szabolcs Nagy, Csaba Debreceni, \u00c1bel Heged\u00fcs, and \u00c1kos Horv\u00e1th. 2014. Multi-objective optimization in rule-based design space exploration. In ASE. ACM, 289--300."},{"key":"e_1_3_2_1_3_1","volume-title":"Workshop on Generative Techniques in the Context of Model Driven Architecture, OOPSLA.","author":"Agrawal Aditya","year":"2002","unstructured":"Aditya Agrawal, Tihamer Levendovszky, Jon Sprinkle, Feng Shi, and Gabor Karsai. 2002. Generative Programming via Graph Transformations in the Model-Driven Architecture. In Workshop on Generative Techniques in the Context of Model Driven Architecture, OOPSLA."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0110-3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Elli Androulaki Artem Barger Vita Bortnikov Srinivasan Muralidharan Christian Cachin Konstantinos Christidis Angelo De Caro David Enyeart Chet Murthy Christopher Ferris Gennady Laventman Yacov Manevich Binh Nguyen Manish Sethi Gari Singh Keith Smith Alessandro Sorniotti Chrysoula Stathakopoulou Marko Vukoli\u0107 Sharon Weed Cocco and Jason Yellick. 2018. Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains.","DOI":"10.1145\/3190508.3190538"},{"key":"e_1_3_2_1_6_1","unstructured":"Apache Foundation. 2023. Kafka. https:\/\/kafka.apache.org\/."},{"key":"e_1_3_2_1_7_1","volume-title":"EASIER: An Evolutionary Approach for Multi-objective Software ArchItecturE Refactoring","author":"Arcelli Davide","year":"2018","unstructured":"Davide Arcelli, Vittorio Cortellessa, Mattia D'Emidio, and Daniele Di Pompeo. 2018. EASIER: An Evolutionary Approach for Multi-objective Software ArchItecturE Refactoring. In ISCA. IEEE, 105--114."},{"key":"e_1_3_2_1_8_1","volume-title":"Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers","author":"Babikian Aren A","unstructured":"Aren A Babikian, Oszk\u00e1r Semer\u00e1th, and D\u00e1niel Varr\u00f3. 2020. Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. In FSE. Springer, 441--461."},{"key":"e_1_3_2_1_9_1","unstructured":"Kacper Bak Zinovy Diskin Micha\u0142 Antkiewicz Krzysztof Czarnecki and Andrzej Wasowski. 2013. Clafer: unifying class and feature modeling. Softw. Syst. Model. (2013) 1--35."},{"key":"e_1_3_2_1_10_1","volume-title":"Damian Andrew Tamburri, and Luca Terracciano","author":"Baresi Luciano","year":"2022","unstructured":"Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, and Luca Terracciano. 2022. A Declarative Modelling Framework for the Deployment and Management of Blockchain Applications. In MODELS. ACM."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICBC51069.2021.9461099"},{"key":"e_1_3_2_1_12_1","volume-title":"Schmitt","author":"Beckert Bernhard","year":"2002","unstructured":"Bernhard Beckert, Uwe Keller, and Peter H. Schmitt. 2002. Translating the Object Constraint Language into First-order Predicate Logic. In VERIFY@FLoC."},{"key":"e_1_3_2_1_13_1","volume-title":"A Survey on Blockchain Interoperability: Past, Present, and Future Trends. ACM Comput. Surv. 54, 8","author":"Belchior Rafael","year":"2022","unstructured":"Rafael Belchior, Andr\u00e9 Vasconcelos, S\u00e9rgio Guerreiro, and Miguel Correia. 2022. A Survey on Blockchain Interoperability: Past, Present, and Future Trends. ACM Comput. Surv. 54, 8 (2022), 168:1--168:41."},{"key":"e_1_3_2_1_14_1","first-page":"100115","article-title":"TABS: Transforming automatically BPMN models into blockchain smart contracts. Blockchain","volume":"4","author":"Bodorik Peter","year":"2023","unstructured":"Peter Bodorik, Christian Gang Liu, and Dawn Jutla. 2023. TABS: Transforming automatically BPMN models into blockchain smart contracts. Blockchain: Research and Applications 4, 1 (2023), 100115.","journal-title":"Research and Applications"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00914-w"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Alexandru Burdusel Steffen Zschaler and Daniel Str\u00fcber. 2018. MDEoptimiser: A Search Based Model Engineering Tool. In MODELS. ACM 12--16.","DOI":"10.1145\/3270112.3270130"},{"key":"e_1_3_2_1_17_1","volume-title":"Pier Davide Ciampa, and Bjoern Nagel","author":"Bussemaker Jasper H","year":"2020","unstructured":"Jasper H Bussemaker, Pier Davide Ciampa, and Bjoern Nagel. 2020. System architecture design space exploration: An approach to modeling and optimization. In AIAA Aviation 2020 Forum. 3172."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31491-9_19"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321737"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Jordi Cabot Robert Claris\u00f3 and Daniel Riera. 2014. On the Verification of UML\/OCL Class Diagrams using Constraint Programming. J. Syst. Softw. (2014).","DOI":"10.1016\/j.jss.2014.03.023"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068419000450"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3588704"},{"key":"e_1_3_2_1_23_1","unstructured":"ConsenSys. 2024. Quorum. https:\/\/github.com\/ConsenSys\/quorum"},{"key":"e_1_3_2_1_24_1","volume-title":"Harrison","author":"Coplien James O.","year":"2004","unstructured":"James O. Coplien and Neil B. Harrison. 2004. Organizational Patterns of Agile Software Development. Prentice-Hall."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.06.001"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-023-01109-1"},{"key":"e_1_3_2_1_27_1","unstructured":"Larry A. DiMatteo Michel Cannarsa and Cristina Poncib\u00f2 (Eds.). 2019. Part I - General Framework. Cambridge Univ. Press 1--58."},{"key":"e_1_3_2_1_28_1","unstructured":"Larry A. DiMatteo Michel Cannarsa and Cristina Poncib\u00f2 (Eds.). 2019. Part IV - Privacy Security and Data Protection. Cambridge Univ. Press 221--268."},{"key":"e_1_3_2_1_29_1","unstructured":"Ethereum Foundation. [n.d.]. Ethereum documentation. https:\/\/ethereum.org\/en\/learn\/"},{"key":"e_1_3_2_1_30_1","volume-title":"Partial models: Towards modeling and reasoning with uncertainty","author":"Famelis Michalis","unstructured":"Michalis Famelis, Rick Salay, and Marsha Chechik. 2012. Partial models: Towards modeling and reasoning with uncertainty. In ICSE. IEEE, 573--583."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_41"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42064-6_6"},{"key":"e_1_3_2_1_33_1","unstructured":"Linux Foundation. [n. d.]. How Fabric networks are structured --- Hyperledger Fabric Docs main documentation. https:\/\/hyperledger-fabric.readthedocs.io\/en\/latest\/network\/network.html"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"M\u00e1t\u00e9 F\u00f6ldi\u00e1k Krist\u00f3f Marussy D\u00e1niel Varr\u00f3 and Istv\u00e1n Majzik. 2022. System architecture synthesis for performability by logic solvers. In MODELS. ACM 43--54.","DOI":"10.1145\/3550355.3552448"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068418000054"},{"key":"e_1_3_2_1_36_1","first-page":"1070","article-title":"The stable model semantics for logic programming","volume":"88","author":"Gelfond Michael","year":"1988","unstructured":"Michael Gelfond and Vladimir Lifschitz. 1988. The stable model semantics for logic programming.. In ICLP\/SLP, Vol. 88. 1070--1080.","journal-title":"ICLP\/SLP"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Carlos A. Gonz\u00e1lez Fabian B\u00fcttner Robert Claris\u00f3 and Jordi Cabot. 2012. EMFtoCSP: a tool for the lightweight verification of EMF models. In FormSERA. 44--50.","DOI":"10.1109\/FormSERA.2012.6229788"},{"key":"e_1_3_2_1_38_1","volume-title":"Jan Oliver Ringert, and Bernhard Rumpe","author":"Gr\u00f6nniger Hans","year":"2009","unstructured":"Hans Gr\u00f6nniger, Jan Oliver Ringert, and Bernhard Rumpe. 2009. System Model-Based Definition of Modeling Language Semantics. In FORTE (LNCS, Vol. 5522). Springer, 152--166."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0163-1"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2017.7943953"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0568-3"},{"key":"e_1_3_2_1_42_1","unstructured":"Hyperledger Foundation. 2024. Use Case Tracker. https:\/\/www.hyperledger.org\/learn\/use-case-tracker"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"Kobi Inkumsah and Tao Xie. 2008. Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution. In ASE. 297--306.","DOI":"10.1109\/ASE.2008.40"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_45_1","volume-title":"Model Driven Engineering Languages and Systems","author":"Jackson Ethan K","unstructured":"Ethan K Jackson, Tihamer Levendovszky, and Daniel Balasubramanian. 2011. Reasoning about metamodeling with formal specifications and automatic proofs. In Model Driven Engineering Languages and Systems. Springer, 653--667."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2019.18.3.a6"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21292-5_3"},{"key":"e_1_3_2_1_48_1","volume-title":"J de Groot, and Adriaan Cornelis Zaanen.","author":"Kleene Stephen Cole","year":"1952","unstructured":"Stephen Cole Kleene, NG De Bruijn, J de Groot, and Adriaan Cornelis Zaanen. 1952. Introduction to metamathematics. van Nostrand New York."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21952-8_21"},{"key":"e_1_3_2_1_50_1","volume-title":"Answer set programming","author":"Lifschitz Vladimir","unstructured":"Vladimir Lifschitz. 2019. Answer set programming. Springer Berlin."},{"key":"e_1_3_2_1_51_1","volume-title":"Refinery: Graph Solver as a Service.","author":"Marussy Krist\u00f3f","year":"2024","unstructured":"Krist\u00f3f Marussy, Attila Ficsor, Oszk\u00e1r Semer\u00e1th, and D\u00e1niel Varr\u00f3. 2024. Refinery: Graph Solver as a Service."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.3025732"},{"key":"e_1_3_2_1_53_1","volume-title":"A specification language for consistent model generation based on partial models. J. Obj. Technol. 19","author":"Marussy Krist\u00f3f","year":"2020","unstructured":"Krist\u00f3f Marussy, Oszk\u00e1r Semer\u00e1th, Aren A. Babikian, and D\u00e1niel Varr\u00f3. 2020. A specification language for consistent model generation based on partial models. J. Obj. Technol. 19 (2020). Issue 3."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63046-5_10"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"crossref","unstructured":"Aleksandar Milicevic Joseph P. Near Eunsuk Kang and Daniel Jackson. 2015. Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. In ICSE. 609--619.","DOI":"10.1109\/ICSE.2015.77"},{"key":"e_1_3_2_1_56_1","volume-title":"Insurance, Healthcare, Travel, Telecom, and Agriculture","author":"Mohanty Debajani","unstructured":"Debajani Mohanty. 2019. R3 Corda for Architects and Developers: With Case Studies in Finance, Insurance, Healthcare, Travel, Telecom, and Agriculture. Apress."},{"key":"e_1_3_2_1_57_1","volume-title":"Ousterhout","author":"Ongaro Diego","year":"2014","unstructured":"Diego Ongaro and John K. Ousterhout. 2014. In Search of an Understandable Consensus Algorithm. In USENIX, Garth Gibson and Nickolai Zeldovich (Eds.). 305--319."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2011.09.004"},{"key":"e_1_3_2_1_59_1","volume-title":"Amal Ahmed Anda, and John Mylopoulos","author":"Rasti Aidin","year":"2022","unstructured":"Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, and John Mylopoulos. 2022. Symboleo2SC: from legal contract specifications to smart contracts. In MODELS, Eugene Syriani, Houari A. Sahraoui, Nelly Bencomo, and Manuel Wimmer (Eds.). ACM, 300--310."},{"key":"e_1_3_2_1_60_1","volume-title":"Distributed Ledger Technology Systems: A Conceptual Framework. SSRN","author":"Rauchs Michel","year":"2019","unstructured":"Michel Rauchs, Andrew Glidden, Brian Gordon, Gina C. Pieters, Martino Recanatini, Fran\u00e7ois Rostand, Kathryn Vagneur, and Bryan Zheng Zhan. 2019. Distributed Ledger Technology Systems: A Conceptual Framework. SSRN (2019)."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"crossref","unstructured":"Thomas W Reps Mooly Sagiv and Reinhard Wilhelm. 2004. Static program analysis via 3-valued logic. In CAV. 15--30.","DOI":"10.1007\/978-3-540-27813-9_2"},{"key":"e_1_3_2_1_62_1","volume-title":"A Generalized Formal Framework for Partial Modeling","author":"Salay Rick","unstructured":"Rick Salay and Marsha Chechik. 2015. A Generalized Formal Framework for Partial Modeling. In FASE, Alexander Egyed and Ina Schaefer (Eds.). LNCS, Vol. 9033. Springer, 133--148."},{"key":"e_1_3_2_1_63_1","article-title":"A Methodology for Verifying Refinements of Partial Models","volume":"14","author":"Salay Rick","year":"2015","unstructured":"Rick Salay, Marsha Chechik, Michalis Famelis, and Jan Gorzny. 2015. A Methodology for Verifying Refinements of Partial Models. J. Obj. Technol. 14, 3 (2015), 3:1--31.","journal-title":"J. Obj. Technol."},{"key":"e_1_3_2_1_64_1","volume-title":"Language Independent Refinement Using Partial Modeling","author":"Salay Rick","unstructured":"Rick Salay, Michalis Famelis, and Marsha Chechik. 2012. Language Independent Refinement Using Partial Modeling. In FASE. Springer, 224--239."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-018-0496-3"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"crossref","unstructured":"Seyyed M. A. Shah Kyriakos Anastasakis and Behzad Bordbar. 2009. From UML to Alloy and back again. In MoDeVVa (Denver Colorado). ACM 1--10.","DOI":"10.1145\/1656485.1656489"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3381032"},{"key":"e_1_3_2_1_68_1","volume-title":"Raffaela Groner, Timo Kehrer, Manuel Ohrndorf, and Matthias Tichy.","author":"Str\u00fcber Daniel","year":"2017","unstructured":"Daniel Str\u00fcber, Kristopher Born, Kanwal Daud Gill, Raffaela Groner, Timo Kehrer, Manuel Ohrndorf, and Matthias Tichy. 2017. Henshin: A Usability-Focused Framework for EMF Model Transformation Development. In ICGT@STAF (LNCS, Vol. 10373). Springer, 196--208."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/NCA.2018.8548070"},{"key":"e_1_3_2_1_70_1","unstructured":"The Eclipse Project 2019. Eclipse Modeling Framework. The Eclipse Project. http:\/\/www.eclipse.org\/emf."},{"key":"e_1_3_2_1_71_1","volume-title":"Object Constraint Language, v2.4","author":"The Object Management Group 2014.","unstructured":"The Object Management Group 2014. Object Constraint Language, v2.4. The Object Management Group."},{"key":"e_1_3_2_1_72_1","volume-title":"Sahner","author":"Trivedi Kishor S.","year":"1993","unstructured":"Kishor S. Trivedi, Gianfranco Ciardo, Manish Malhotra, and Robin A. Sahner. 1993. Dependability and Performability Analysis. In SIGMETRICS (LNCS, Vol. 729). Springer, 587--612."},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.01.004"},{"key":"e_1_3_2_1_74_1","unstructured":"World Economic Forum and Accenture. 2019. Building Value with Blockchain Technology: How to Evaluate Blockchain's Benefits. Technical Report. World Economic Forum."},{"key":"e_1_3_2_1_75_1","volume-title":"Power","author":"Wu Hao","year":"2013","unstructured":"Hao Wu, Rosemary Monahan, and James F. Power. 2013. Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. In TASE. 175--182."}],"event":{"name":"MODELS '24: ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","location":"Linz Austria","acronym":"MODELS '24","sponsor":["Johannes Kepler University, Linz, Austria","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3640310.3674097","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3640310.3674097","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T23:51:45Z","timestamp":1755906705000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3640310.3674097"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,22]]},"references-count":75,"alternative-id":["10.1145\/3640310.3674097","10.1145\/3640310"],"URL":"https:\/\/doi.org\/10.1145\/3640310.3674097","relation":{},"subject":[],"published":{"date-parts":[[2024,9,22]]},"assertion":[{"value":"2024-09-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}