Business Process Optimization Using Formalized Optimization Patterns · Study