Verhaltensverifikation und Visualisierung von UML-Modellen, Fachbücher von Jana Fitzgerald

Die Komplexität von Softwaresystemen hat in denletzten Jahren enorm zugenommen, wodurchdas Programmieren, Verstehen und Modifizieren derProgramme für die Softwareentwicklerund -warter immer schwieriger wird. Alsstandardisierte Sprache zur Darstellung derstatischen und dynamischen Aspekte eines Systems hatsich die UML zu einem wichtigen Hilfsmittel bei derAnalyse, dem Entwurf, dem Testen und Warten vonSoftwaresystemen etabliert. Viele Hersteller undEntwickler haben deshalb eine Vielzahl vonUML-basierten Modellierungstools entwickelt, mitdenen Softwaresysteme effizientkonzipiert und entwickelt werdenkönnen. Dennoch gibtes kaum Ansätze zur Simulation bzw. Verifikation derentwickelten UML-Diagramme in den gängigen Tools.Dies würde jedochzu einer Verminderung des Fehlverhaltens vonProgrammen und zu einer Vereinfachung bei derErfassung, Entwicklung und Wartung komplexerSoftwaresysteme beitrage.