Automatisierte Überprüfung von Datenflussanforderungen in Software-Architekturen
|
Typ | Bachelorarbeit oder Masterarbeit |
|---|---|---|
| Aushang | Automatisierte Überprüfung von Datenflussanforderungen in Software-Architekturen.pdf | |
| Betreuer | Wenden Sie sich bei Interesse oder Fragen bitte an: |
Datenflussmodelle eigenen sich gut zur Überprüfung von Sicherheitseigenschaften, während kontrollflussorientierte Architekturmodelle Rückschlüsse auf Performance-Eigenschaften von zukünftigen Systemen zulassen. Eine Schwierigkeit bei gleichzeitiger Nutzung beider Modellarten ist die Vermeidung von Inkonsistenzen. Konsistenz kann jedoch sichergestellt werden, indem man Konsistenzbedingungen formuliert, diese automatisiert überprüft und so Verletzungen frühzeitig erkennen und beheben kann. Im Rahmen der Arbeit steht vor allem die Prüfung von Anforderungen, die sich aus den Datenflussmodellen ergeben, im Vordergrund.
Aufgaben
Erstellen und implementieren Sie ein Konzept, das die Konsistenz eines Architekturmodells zu einem passenden Datenflussmodell mittels Konsistenzbedingungen überprüft. Dazu ist die Bearbeitung der folgenden Teilaufgaben sinnvoll:
- Ableitung von Konsistenzbedingungen aus Abbildungsregeln zwischen Datenfluss- und Architekturmodell
- Identifikation von zulässigen Variationen im Architekturmodell
- Ableitung von Konsistenzbedingungen aus Analyseergebnissen (optional)
- Prototypische Realisierung und Integration in ein bestehendes Werkzeug
Eingesetzte Technologien
- State-of-the-Art Architektursimulator Palladio
- Modellgetriebene Software-Entwicklung mittels EMF/Ecore
- ggf. Eclipse-Plugin-Entwicklung
Nützliche Vorkenntnisse
- Grundkenntnisse in der UML (z.B. aus SWT/SWT II) und Java
- Kenntnisse in modellgetriebener Software-Entwicklung
- Eclipse-Plugin-Entwicklung