lmap = Match (M1, M2)
ØReturn a mapping
between the two models
láM2, map12ñ = ModelGen(M1, metamodel2)
ØReturn a model M2 that is expressed
in metamodel2 and
is equivalent to model M1
láM3, map13, map23ñ = Merge (M1, M2, map)
ØReturn the union of
models M1 and M2
lmap3 = Compose(map1, map2) = map1 ○ map2
ØReturn the
composition of map1 and map2, which
is a mapping from map1’s domain to map2’s range.