{Checking Compliance of Execution Traces to Business Rules}