lmap3 = Confluence(map1, map2) = map1 Å map2
ØReturn the “merge”
of mappings map1 and map2
láM2, map12ñ = Extract(M1, map)
ØReturn the sub-model
of M1 that participates
in the mapping map
láM2, map12ñ = Diff(M1, map)
ØReturn the sub-model
of M1 that does not participate in the mapping map