1. An element-kind model-to-model transformation comprising: a plurality of transform elements defining a traversal of a source model; and, an element-kind mapping comprising a set of associations between element-kinds for said source model and corresponding transformation rules to produce target objects in a target model.