Conformance checking in UML artifact-centric business process models
Conformance Checking of Processes Based on Monitoring Real Behavior