Detecting and Resolving Conflicts of Mutual-Exclusion and Binding Constraints in a Business Process Context · Study