Mit dem SESAM-Projekt (Software Engineering Simulation durch animierte Modelle) der Abteilung Software Engineering an der Universität Stuttgart wird die Ausbildung von Projektleitern um eine Simulationskomponente erweitert. Die Erstellung der Modelle, die vom Simulator ausgeführt werden, ist eine schwierige Aufgabe, da die Simulation möglichst realistisch sein sollte. Es ist daher notwendig, einige Meta-Regeln zu beachten, die die Plausibilität sicherstellen.

Im Rahmen dieser Diplomarbeit sind diese Meta-Regeln aufgestellt und erläutert worden. Anschließend wurden die bereits bestehenden SESAM-Modelle anhand dieser Meta-Regeln einer Revision unterzogen. Ziel war es dabei, alle Meta-Regel-Verletzungen zu beseitigen und die Plausibilität der Modelle sicherzustellen. Dies ist durch eine Verifizierung und Validierung aller Änderungen und Erweiterungen bestätigt worden.