Checking Compliance of Execution Traces to Business Rules · Study