Verhaltensverifikation und Visualisierung von UML-Modellen

Die Komplexität von Softwaresystemen hat in den letzten Jahren enorm zugenommen, wodurch das Programmieren, Verstehen und Modifizieren der Programme für die Softwareentwickler und -warter immer schwieriger wird. Als standardisierte Sprache zur Darstellung der statischen und dynamischen Aspekte eines Systems hat sich die UML zu einem wichtigen Hilfsmittel bei der Analyse, dem Entwurf, dem Testen und Warten von Softwaresystemen etabliert. Viele Hersteller und Entwickler haben deshalb eine Vielzahl von UML-basierten Modellierungstools entwickelt, mit denen Softwaresysteme effizient konzipiert und entwickelt werden können. Dennoch gibt es kaum Ansätze zur Simulation bzw. Verifikation der entwickelten UML-Diagramme in den gängigen Tools. Dies würde jedoch zu einer Verminderung des Fehlverhaltens von Programmen und zu einer Vereinfachung bei der Erfassung, Entwicklung und Wartung komplexer Softwaresysteme beitragen. In dieser Arbeit werden Konzepte zur Verifikation und Visualisierung der Struktur- und Verhaltensdiagramme des UML 2.0 Standards analysiert und erarbeitet, wobei insbesondere auf die Realisierung der Modellierung und Simulation von UML-Statecharts eingegangen wird.

Jana Fitzgerald - Diplomstudium der Informatik, Nebenfach Medizin an der Universität Rostock mit Schwerpunkt Datenbanken. Gegenwärtig tätig als Softwareentwickler bei IBM in San Jose, USA.