Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning