Konferenzbeitrag
Model transformations for integrating and validating web application models
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Zusatzinformation
Datum
2006
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
While most current Web Engineering methodologies model the separate aspects, content, navigation, business logic, and presentation, of Web systems in separate models, integration of the different models and in particular the validation of their interaction is not yet sufficiently supported. We propose a systematic approach of building a UML state machine that integrates the separate concerns content, navigation, and business logic of a Web system into a big picture, which can then be validated formally for consistency and behavioural properties.