Die Komplexitat von Softwaresystemen hat in den letzten Jahren enorm zugenommen, wodurch das Programmieren, Verstehen und Modifizieren der Programme fur 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 konnen. Dennoch gibt es kaum Ansatze zur Simulation bzw. Verifikation der entwickelten UML-Diagramme in den gangigen Tools. Dies wurde 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.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.