{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,17]],"date-time":"2026-05-17T09:56:39Z","timestamp":1779011799652,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,6,18]],"date-time":"2023-06-18T00:00:00Z","timestamp":1687046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-sa\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,6,18]]},"DOI":"10.1145\/3594778.3594881","type":"proceedings-article","created":{"date-parts":[[2023,6,21]],"date-time":"2023-06-21T14:20:27Z","timestamp":1687357227000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Fast Synthetic Data-Aware Log Generation for Temporal Declarative Models"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1844-0851","authenticated-orcid":false,"given":"Giacomo","family":"Bergami","sequence":"first","affiliation":[{"name":"School of Computing, Newcastle University, Newcastle Upon Tyne, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,6,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Enhancing Declarative Temporal Model Mining in Relational Databases: A Preliminary Study. In International Database Engineered Applications Symposium Conference (IDEAS 2023","author":"Appleby Samuel","year":"2023","unstructured":"Samuel Appleby, Giacomo Bergami, and Graham Morgan. 2023. Enhancing Declarative Temporal Model Mining in Relational Databases: A Preliminary Study. In International Database Engineered Applications Symposium Conference (IDEAS 2023), Heraklion, Crete, Greece, May 5--7, 2023, Yannis Manolopoulos and Peter Z. Revesz (Eds.). ACM."},{"key":"e_1_3_2_1_2_1","volume-title":"On Efficiently Equi-Joining Graphs. In IDEAS 2021: 25th International Database Engineering & Applications Symposium, Montreal, QC, Canada, July 14--16","author":"Bergami Giacomo","year":"2021","unstructured":"Giacomo Bergami. 2021. On Efficiently Equi-Joining Graphs. In IDEAS 2021: 25th International Database Engineering & Applications Symposium, Montreal, QC, Canada, July 14--16, 2021. ACM, 222--231."},{"key":"e_1_3_2_1_3_1","volume-title":"Quickening Data-Aware Conformance Checking through Temporal Algebras. Information 14, 3","author":"Bergami Giacomo","year":"2023","unstructured":"Giacomo Bergami, Samuel Appleby, and Graham Morgan. 2023. Quickening Data-Aware Conformance Checking through Temporal Algebras. Information 14, 3 (2023)."},{"key":"e_1_3_2_1_4_1","volume-title":"BPM 2021, Rome, Italy, September 06--10, 2021, Proceedings (Lecture Notes in Computer Science","volume":"251","author":"Bergami Giacomo","year":"2021","unstructured":"Giacomo Bergami, Fabrizio Maria Maggi, Andrea Marrella, and Marco Montali. 2021. Aligning Data-Aware Declarative Process Models and Event Logs. In Business Process Management - 19th International Conference, BPM 2021, Rome, Italy, September 06--10, 2021, Proceedings (Lecture Notes in Computer Science, Vol. 12875). Springer, 235--251."},{"key":"e_1_3_2_1_5_1","volume-title":"Probabilistic Trace Alignment. In 3rd International Conference on Process Mining, ICPM 2021","author":"Bergami Giacomo","year":"2021","unstructured":"Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, and Rafael Pe\u00f1aloza. 2021. Probabilistic Trace Alignment. In 3rd International Conference on Process Mining, ICPM 2021, Eindhoven, The Netherlands, October 31 - Nov. 4, 2021. IEEE, 9--16."},{"key":"e_1_3_2_1_6_1","unstructured":"Paul E. Black. 2008. All Simple Paths. In Dictionary of Algorithms and Data Structures. NIST."},{"key":"e_1_3_2_1_7_1","volume-title":"2017 IEEE Workshop on Visual Analytics in Healthcare (VAHC). 39--46","author":"Garcia Caballero Humberto S.","unstructured":"Humberto S. Garcia Caballero, Alberto Corv\u00f2, Prabhakar M. Dixit, and Michel A. Westenberg. 2017. Visual analytics for evaluating clinical pathways. In 2017 IEEE Workshop on Visual Analytics in Healthcare (VAHC). 39--46."},{"key":"e_1_3_2_1_8_1","volume-title":"EOMAS 2015","author":"Ciccio Claudio Di","year":"2015","unstructured":"Claudio Di Ciccio, Mario Luca Bernardi, Marta Cimitile, and Fabrizio Maria Maggi. 2015. Generating Event Logs Through the Simulation of Declare Models. In Enterprise and Organizational Modeling and Simulation - 11th International Workshop, EOMAS 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8--9, 2015, Selected Papers (Lecture Notes in Business Information Processing, Vol. 231). Springer, 20--36."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v28i1.8872"},{"key":"e_1_3_2_1_10_1","unstructured":"Marco Favorito. 2018. Reinforcement learning for LTLf\/LDLf goals: Theory and implementation. Master's thesis. DIAG."},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14--17","author":"Kenneth","year":"2008","unstructured":"Kenneth A. Hawick and Heath A. James. 2008. Enumerating Circuits and Loops in Graphs with Self-Arcs and Multiple-Arcs. In Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14--17, 2008, Las Vegas, Nevada, USA. CSREA Press, 14--20."},{"key":"e_1_3_2_1_12_1","volume-title":"C (sep","author":"Huo Xu","year":"2022","unstructured":"Xu Huo, Kuangrong Hao, Lei Chen, Xue-song Tang, Tong Wang, and Xin Cai. 2022. A Dynamic Soft Sensor of Industrial Fuzzy Time Series with Propositional Linear Temporal Logic. Expert Syst. Appl. 201, C (sep 2022), 11 pages."},{"key":"e_1_3_2_1_13_1","volume-title":"Software Abstractions - Logic, Language, and Analysis","author":"Jackson Daniel","unstructured":"Daniel Jackson. 2006. Software Abstractions - Logic, Language, and Analysis. MIT Press."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1137\/0204007"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90084-0"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2020.103369"},{"key":"e_1_3_2_1_17_1","series-title":"Lecture Notes in Computer Science","volume-title":"Generic Model Management: Concepts and Algorithms","author":"Melnik Sergey","unstructured":"Sergey Melnik. 2004. Generic Model Management: Concepts and Algorithms. Lecture Notes in Computer Science, Vol. 2967. Springer."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2007.14"},{"key":"e_1_3_2_1_19_1","volume-title":"Kristin Yvonne Rozier, and Johann Schumann","author":"Reinbacher Thomas","year":"2014","unstructured":"Thomas Reinbacher, Kristin Yvonne Rozier, and Johann Schumann. 2014. Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems. In Tools and Algorithms for the Construction and Analysis of Systems, Erika \u00c1brah\u00e1m and Klaus Havelund (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 357--372."},{"key":"e_1_3_2_1_20_1","volume-title":"Chiara Ghidini, and Fabrizio Maria Maggi.","author":"Skydanienko Vasyl","year":"2018","unstructured":"Vasyl Skydanienko, Chiara Di Francescomarino, Chiara Ghidini, and Fabrizio Maria Maggi. 2018. A Tool for Generating Event Logs from Multi-Perspective Declare Models. In Proceedings of the Dissertation Award, Demonstration, and Industrial Track at BPM 2018 co-located with 16th International Conference on Business Process Management (BPM 2018), Sydney, Australia, September 9--14, 2018 (CEUR Workshop Proceedings, Vol. 2196). CEUR-WS.org, 111--115."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Jianguo Wang Chunbin Lin Yannis Papakonstantinou and Steven Swanson. 2017. An Experimental Study of Bitmap Compression vs. Inverted List Compression. In SIGMOD. ACM 993--1008.","DOI":"10.1145\/3035918.3064007"},{"key":"e_1_3_2_1_22_1","volume-title":"Languages, Architectures","author":"Weske Mathias","unstructured":"Mathias Weske. 2019. Business Process Management - Concepts, Languages, Architectures, Third Edition. Springer."},{"key":"e_1_3_2_1_23_1","volume-title":"Modeling clinical activities based on multi-perspective declarative process mining with openEHR's characteristic. BMC Medical Informatics and Decision Making 20, 14 (15","author":"Xu Haifeng","year":"2020","unstructured":"Haifeng Xu, Jianfei Pang, Xi Yang, Jinghui Yu, Xuemeng Li, and Dongsheng Zhao. 2020. Modeling clinical activities based on multi-perspective declarative process mining with openEHR's characteristic. BMC Medical Informatics and Decision Making 20, 14 (15 Dec 2020), 303."}],"event":{"name":"GRADES & NDA '23: 6th Joint Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA)","location":"Seattle WA USA","acronym":"GRADES & NDA '23","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"]},"container-title":["Proceedings of the 6th Joint Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3594778.3594881","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3594778.3594881","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:00Z","timestamp":1750182540000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3594778.3594881"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,18]]},"references-count":23,"alternative-id":["10.1145\/3594778.3594881","10.1145\/3594778"],"URL":"https:\/\/doi.org\/10.1145\/3594778.3594881","relation":{},"subject":[],"published":{"date-parts":[[2023,6,18]]},"assertion":[{"value":"2023-06-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}