Return to Article Details Enforcement of Patterns by Constraint-Aware Model Transformations Download Download PDF