Semantic integration of UML class diagram with semantic validation on segments of mappings
Merging Models With the Epsilon Merging Language (EML