Zusammenfassung:
Viele von den zur Zeit existierenden Web-Engineering-Methoden modellieren die verschiedenen Aspekte (Inhalt, Navigation, Geschäftsprozesse und Präsentation) einer Webanwendung in separaten Modellen. Keine dieser Web-Engineering-Methoden unterstützt bis jetzt die Integration dieser Modelle und speziell die Validierung ihrer Interaktion. Im Rahmen dieser Diplomarbeit wird ein systematischer Ansatz vorgestellt, der den Inhalt, die Navigation und die Geschäftsprozesse einer Webanwendung in eine UML-Zustandsmaschine, das so gennante BigPicture, integriert. Das generierte BigPicture kann durch Model-Checking-Tools wie z.B. HUGO/RT verifiziert werden. Auf diese Weise können Fehler in den Modellen frühzeitig erkannt werden. Die Generierung des BigPictures wird mit Hilfe von metamodell-basierten Graphtransformationen realisiert. Das Tool ArgoUWE wird um die Generierung des BigPictures und die Generierung einer auf dem Framework Struts basierten Webanwendung aus dem BigPicture erweitert.
Download:
N/A