Pattern-Based Modeling and Formalizing of Business Process Quality Constraints · Study