As MDE (Model Driven Engineering) principles are increasingly applied in the development of complex software, the use of constraint solving in the specification of model transformations is often required. However, transformation techniques do not provide fully integrated supports for solving constraints, and external solvers are not well adapted. To deal with this issue, this paper proposes a pattern-matching based approach as a promising solution for enforcing constraints on target models. A transformation infrastructure is semiautomatically generated and it provides support for specifying patterns, searching for match models, and producing valid target models. Finally, a use case is presented in order to illustrate our contribution.