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…