Please use this identifier to cite or link to this item:

http://hdl.handle.net/10609/109791
Title: Tool Support for Model Checking of Web application designs
Author: Brambilla, Marco
Cabot Sagrera, Jordi  
Moreno Vergara, Nathalie
Others: Universitat Oberta de Catalunya (UOC)
Universidad de Málaga
Politecnico di Milano
Keywords: Web application designs
Web application models
Issue Date: 2-Jan-2007
Publisher: Lecture Notes in Computer Science
Citation: Brambilla, M., Cabot, J. & Moreno, N. (2007). Tool Support for Model Checking of Web application designs. Lecture Notes in Computer Science, 4607(), 533-538. doi: 10.1007/978-3-540-73597-7_50
Also see: https://doi.org/10.1007/978-3-540-73597-7_50
Abstract: 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.
Language: English
URI: http://hdl.handle.net/10609/109791
ISSN: 0302-9743MIAR
Appears in Collections:Articles
Articles

Share:
Export:
Files in This Item:
File SizeFormat 
Cabot_LNCS_Tool_Support.pdf1.46 MBAdobe PDFView/Open

Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.