Defining and Validating Transformations of UML Models 145-152 145-152 IEEE Computer Society