Constraint management and transformation door B. Arsintescu