Controlled Generation of Models with Defined Properties.
A generic difference algorithm for UML models