Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics

Modellierung 2006, 22.-24. März 2006, Innsbruck, Tirol, Austria P-82, 115-128 (2006).



Heinrich C. Mayr, Ruth Breu (eds.)


Model transformations for integrating and validating web application models

Alexander Knapp and Gefei Zhang


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.

Full Text: PDF

ISBN 3-88579-175-7

Last changed 24.01.2012 21:54:00