Zur Integration von Struktur- und Verhaltensmodellierung mit OCL

Das werkzeuggestützte Validieren von in der Unified Modeling Language (UML) spezifizierten Modellen ist zu einem wichtigen Forschungszweig in der modellgetriebenen Softwareentwicklung geworden. Durch eine frühzeitige Validierung sollen Designfehler bereits zu Beginn des Entwicklungsprozesses aufgedeckt werden, um spätere aufwändige Korrekturen zu vermeiden. Herkömmliche Werkzeuge in diesem Kontext verwenden UMLKlassendiagramme in Verbindung mit textuellen Einschränkungen, die in der Object Constraint Language (OCL) definiert sind. Eher unbeachtet sind weitergehende Modellierungselemente wie zum Beispiel Zustandsautomaten, die zwar von der UML bereitgestellt werden, aber in OCL-basierten Validierungswerkzeugen bisher kaum Einzug gefunden haben.