2 papers
cs.FL2025
Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
Saba Latif, Huma Latif, Touseef Ur Rehman +1
Object-centric process mining addresses the limitations of traditional approaches, which often involve the lossy flattening of event data and obscure vital relationships among inte…
cs.DB2025
Object-Centric Analysis of XES Event Logs: Integrating OCED Modeling with SPARQL Queries
Saba Latif, Huma Latif, Muhammad Rameez Ur Rahman
Object Centric Event Data (OCED) has gained attention in recent years within the field of process mining. However, there are still many challenges, such as connecting the XES forma…