Visually specifying compliance rules and explaining their violations for business processes · Study