Marco Brambilla, Jordi Cabot, Nathalie Moreno. Tool Support for Model Checking of Web Application Designs. In Luciano Baresi, Piero Fraternali, Geert-Jan Houben, editors, Web Engineering, 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings. Volume 4607 of Lecture Notes in Computer Science, pages 533-538, Springer, 2007. [doi]
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.