Conformance checking in UML artifact-centric business process models
An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data