Constraint management and transformation