Das SESAM-System ist ein Simulator für Softwareentwick-lungsprojekte und dient der Ausbildung angehender Pro-jektleiter. Ausbildungsszenarien für den Simulator werden mit der regelbasierten SESAM-Hochsprache in SESAM-Modellen beschrieben. Die Abhängigkeiten zwischen den Regeln untereinander, den Zustandsveränderungen und dem Zustand sind komplex. Die Wartung der Modelle hat sich als schwierig herausgestellt, da sich die Folgen von Veränderungen am Modell im gesamten Projektverlauf be-merkbar machen können. Diese Diplomarbeit beschäftigt sich mit Möglichkeiten zur Visualisierung und automatischen Prüfung der regelbasier-ten SESAM-Hochsprachenmodelle. Ziel ist eine übersicht-liche Darstellung der Modellstrukturen und eine einfache Navigation durch das SESAM-Modell. Eine automatische Prüfung der Modelle soll sowohl die Arbeit mit dem Modell als auch die Fehlersuche unterstützen. Dazu wird die Struktur der SESAM-Modelle untersucht, für das Modellverständnis interessante Merkmale identifiziert, und eine visuelle Beschreibungssprache für SESAM-Modelle erarbeitet. Möglichkeiten zur automatischen Prüfung der SESAM-Modelle nach syntaktischen und semantischen Gesichts-punkten werden entwickelt und umgesetzt.