Designing Data-Intensive Web Applications
Designing Data-Intensive Web Applications
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
A UML 2.0 profile for WebML modeling
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
ICWE'05 Proceedings of the 5th international conference on Web Engineering
Evaluating the Consistency between Navigation and Data Models for Web Applications
International Journal of Information System Modeling and Design
| Hi-index | 0.00 |
In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools that facilitate model driven design of Web applications, automatic code generation, and automatic property verification. As recommended by current tendencies in the academic field, we bridge the gap between the tools by devising a set of MDA transformations between the different models. We show that such approach is feasible although we also highlight how current state-of-the-art industrial tools are still partially inadequate for providing seamless support to MDA approaches for industrial Web applications.