Mit steigendem Abstraktionsniveau wächst die Menge der möglichen Interpretationen eines UML Modells. Inkonsistenzen und Unvollständigkeiten verursachen Mehrdeutigkeiten und vergrößern die Menge der möglichen Interpretationen unnötigerweise. Dies gilt es zu verhindern. Dazu haben wir eine Reihe von Regeln entwickelt und in einem Werkzeug implementiert. Industrielle Fallstudien haben gezeigt, dass die auftretende Anzahl der Inkonsistenzen und Unvollständigkeiten in der Praxis erschreckend hoch ist.