For transformations of models and instances, OpM and OpD respectively, we have defined a grammar that represents the functions operating on each one. To implement refactorings on models we will use the former, and benefit from the existing infrastructure: operations on models will reflect themselves on updates on the instance.