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…