Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung.

Um Systemzustande zu erzeugen, war man bisher gezwungen, explizit eine Folge von Kommandos anzugeben. Die aktuelle Arbeit ist durch den Wunsch motiviert, Systemzustande auf eine deklarative Art und Weise zu erzeugen, indem man lediglich Eigenschaften dieser Zustande angibt. Zu diesem Zweck haben wir die Sprache ASSL[GBR03] (A Snapshot Sequence Language) entwickelt, die eben dies moglich macht. Des Weiteren wurde USE um die Fahigkeit erweitert, Invarianten dynamisch zu laden. USE und dessen ASSL-Erweiterung erlauben somit das Uberprufen von Eigenschaften eines Modells anhand von als relevant angesehenen Testfallen. Unsere Ideen werden im Kontext von USE vorgestellt, die grundlegenden Punkte unseres Ansatzes konnten aber in anderen Werkzeugen ebenso eingesetzt werden.