Generic Algorithms for Consistency Checking of Mutual-Exclusion and Binding Constraints in a Business Process Context