- Start
- Verhaltensverifikation und Visualisierung von UML-Modellen
Verhaltensverifikation und Visualisierung von UML-Modellen
Angebote / Angebote:
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.
Folgt in ca. 5 Arbeitstagen