Business rules for compliant business process models · Study