Checking Compliance of Execution Traces to Business Rules