Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/109791
Títol: | Tool Support for Model Checking of Web application designs |
Autoria: | Brambilla, Marco Cabot, Jordi Moreno Vergara, Nathalie |
Altres: | Universitat Oberta de Catalunya (UOC) Universidad de Málaga Politecnico di Milano |
Citació: | 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 |
Resum: | 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. |
Paraules clau: | Web application designs Web application models |
DOI: | 10.1007/978-3-540-73597-7_50 |
Tipus de document: | info:eu-repo/semantics/conferenceObject |
Versió del document: | info:eu-repo/semantics/acceptedVersion |
Data de publicació: | 2-gen-2007 |
Apareix a les col·leccions: | Articles cientÍfics Articles |
Arxius per aquest ítem:
Arxiu | Descripció | Mida | Format | |
---|---|---|---|---|
Cabot_LNCS_Tool_Support.pdf | 1,46 MB | Adobe PDF | Veure/Obrir |
Comparteix:
Els ítems del Repositori es troben protegits per copyright, amb tots els drets reservats, sempre i quan no s’indiqui el contrari.