{Verification of Business Process Quality Constraints Based on Visual Process Patterns}