Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints