Constraint management and transformation by B. Arsintescu