Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes