2 papers
cs.DB2025
Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)
Jacobo Casas-Ramos, Sarah Winkler, Alessandro Gianola +3
Despite growing interest in process analysis and mining for data-aware specifications, alignment-based conformance checking for declarative process models has focused on pure contr…
cs.AI2025
DeclareAligner: A Leap Towards Efficient Optimal Alignments for Declarative Process Model Conformance Checking
Jacobo Casas-Ramos, Manuel Lama, Manuel Mucientes
In many engineering applications, processes must be followed precisely, making conformance checking between event logs and declarative process models crucial for ensuring adherence…