Abstract
Fast and reliable development of Web Applications (WA) calls for methods that address systematic design, and tools that cover all the aspects of the design process and complement the current implementation technologies. To ensure the reliability of WA it is important that they be validated and verified at early design phase. We focus on black-box, automated verification of the UML design of a WA using Model Checking techniques.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Clarke, E.M., Grumberg, O.M., Peled, D.A.: Model Checking (1999)
Conallen, J.: Building Web applications with UML (2002)
de Alfaro, L.: Model checking the World Wide Web, pp. 77–85 (2001)
Di Lucca, G., Di Penta, M.: An approach to identify duplicated web pages. In: 26th Annual International Computer Software and Applications Conference, Oxford, England, pp. 481–486 (2002)
Di Penta, M., Antoniol, G., Casazza, G., Merlo, E.: Modeling web maintenance centers through queue models. In: Fifth European Conference on Software Maintenance and Reengineering, Lisbon, Portugal, pp. 131–139 (2001)
Schwabe, D., Garzotto, F., Paolini, P.: Hdm - a model-based approach to hypertext application design. ACM TOIS 11(1), 1–26 (1993)
Tonella, P., Ricca, F.: Testing processes of web applications. Annals of software engineering 14(1), 93–114 (2002)
Fraternali, P.: Tools and approaches for developing data-intensive web applications: a survey. ACM Computing Survey 31(3), 227–263 (1999)
Kang, J., Levy, A.Y., Fernandez, M.F., Florescu, D., Suciu, D.: Catching the boat with strudel: experiences with a web-site management system. In: ACM - SIGMOD, pp. 414–425 (1998)
McMillan, K.L.: The SMV system (February 1992), http://www.cs.cmu.edu/modelcheck/smv/smvmanual.r2.2.ps
Mecca, G., Atzeni, P., Meriado, P.: Design and maintenance of data-intensive web sites. In: Schek, H.-J., Saltor, F., Ramos, I., Alonso, G. (eds.) EDBT 1998. LNCS, vol. 1377, pp. 436–450. Springer, Heidelberg (1998)
Di Sciascio, E.: Anweb: a system for automatic support to web application verification. In: Proc. of SEKE 2002, July 2002, pp. 609–616 (2002)
Di Sciascio, E., Donini, F.M., Mongiello, M., Piscitelli, G.: Web Applications Design and Maintenance using Symbolic Model Checking. In: Proc. of CSMR 2003, Benevento, Italy, March 26-28, pp. 63–72. IEEE, Los Alamitos (2003)
Stotts, P.D., Furuta, J.C.: Hyperdocuments as automata: verification of trace-based browsing properties by model checking. TOIS 16(1), 1–30 (1998)
Stohr, E., Isakowitz, T., Balasubramanian, P.: Rmm: a methodology for structured hypermedia design. Comm. ACM 38(8), 34–44 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Di Sciascio, E., Donini, F.M., Mongiello, M., Totaro, R., Castelluccia, D. (2005). Design Verification of Web Applications Using Symbolic Model Checking. In: Lowe, D., Gaedke, M. (eds) Web Engineering. ICWE 2005. Lecture Notes in Computer Science, vol 3579. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11531371_12
Download citation
DOI: https://doi.org/10.1007/11531371_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27996-9
Online ISBN: 978-3-540-31484-4
eBook Packages: Computer ScienceComputer Science (R0)