Mit dem Werkzeug INProVE des Fraunhofer-Institut für experimentelles Software-Engineering (IESE) in Kaiserslautern können Modelle automatisch auf Qualitätsstandards überprüft und die gemessene Qualität auch über längere Zeiträume überwacht werden. Auf diese Weise wird die Einhaltung von generellen und firmenspezifischen Modellierungsrichtlinien gefördert und spätere Fehler vermieden. Entwickler können so die Konsequenzen von Entwurfsentscheidungen direkt erkennen und bewerten.
