A transformation definition metamodel for model transformation | IEEE Conference Publication | IEEE Xplore