Constraint specification in architecture by