Abstract
In this paper, we present the rewriting-based, Web verification service WebVerdi-M, which is able to recognize forbidden/incorrect patterns and incomplete/missing Web pages. WebVerdi-M relies on a powerful Web verification engine that is written in Maude, which automatically derives the error symptoms. Thanks to the AC pattern matching supported by Maude and its metalevel facilities, WebVerdi-M enjoys much better performance and usability than a previous implementation of the verification framework. By using the XML Benchmarking tool xmlgen, we develop some scalable experiments which demonstrate the usefulness of our approach.
This work has been partially supported by the EU (FEDER) and Spanish MEC TIN-2004-7943-C04-02 project, the Generalitat Valenciana under grant GV06/285, and Integrated Action Hispano-Alemana HA2006-0007. Daniel Romero is also supported by ALFA grant LERNet AML/19.0902/97/0666/II-0472-FA.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web. From Relations to Semistructured Data and XML. Morgan Kaufmann, San Francisco (2000)
Alpuente, M., Ballis, D., Falaschi, M.: Automated Verification of Web Sites Using Partial Rewriting. Software Tools for Technology Transfer 8, 565–585 (2006)
Alpuente, M., Ballis, D., Falaschi, M., Ojeda, P., Romero, D.: The Web Verification Service WebVerdi-M. Technical Report DSIC-II/08/07, DSIC-UPV (2007)
Ballis, D., García, J.: A Rule-based System for Web Site Verification. In: ENTCS. Proc. of 1st Int’l Workshop on Automated Specification and Verification of Web Sites (WWV’05), vol. 157(2), Elsevier, North-Holland (2005)
Bertino, E., Mesiti, M., Guerrin, G.: A Matching Algorithm for Measuring the Structural Similarity between an XML Document and a DTD and its Applications. Information Systems 29(1), 23–46 (2004)
Bry, F., Schaffert, S.: Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol. 2401, Springer, Heidelberg (2002)
Centrum voor Wiskunde en Informatica: XMark – an XML Benchmark Project (2001), Available at: http://monetdb.cwi.nl/xml/
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: The maude 2.0 system. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 76–87. Springer, Heidelberg (2003)
Dershowitz, N., Plaisted, D.: Rewriting. Handbook of Automated Reasoning 1, 535–610 (2001)
Despeyroux, T., Trousse, B.: Semantic Verification of Web Sites Using Natural Semantics. In: Proc. of 6th Conference on Content-Based Multimedia Information Access (RIAO’00) (2000)
Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL model checker and its implementation. In: Ball, T., Rajamani, S.K. (eds.) Model Checking Software. LNCS, vol. 2648, pp. 230–234. Springer, Heidelberg (2003)
Ellmer, E., Emmerich, W., Finkelstein, A., Nentwich, C.: Flexible Consistency Checking. ACM Transaction on Software Engineering 12(1), 28–63 (2003)
English, J.: The HXML Haskell Library (2002), Available at: http://www.flightlab.com/~joe/hxml/
Fernandez, M., Florescu, D., Levy, A., Suciu, D.: Verifying Integrity Constraints on Web Sites. In: Proc. of Sixteenth International Joint Conference on Artificial Intelligence (IJCAI’99), vol. 2, pp. 614–619. Morgan Kaufmann, Washington (1999)
Fernandez, M.F., Suciu, D.: Optimizing Regular Path Expressions Using Graph Schemas. In: Proc. of Int’l Conf on Data Engineering (ICDE’98), pp. 14–23 (1998)
Leuschel, M.: Homeomorphic Embedding for Online Termination of Symbolic Methods. In: The Essence of Computation. LNCS, vol. 2566, pp. 379–403. Springer, Heidelberg (2002)
Martí-Oliet, N., Meseguer, J.: Rewriting Logic: Roadmap and Bibliography. Theoretical Computer Science 285(2), 121–154 (2002)
Michael, B., Juliana, F., Patrice, G.: Veriweb: automatically testing dynamic web sites. In: ENTCS. Proc. of 11th Int’l WWW Conference, Elsevier, North-Holland (2002)
Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency Management with Repair Actions. In: Proc. of the 25th International Conference on Software Engineering (ICSE’03), IEEE Computer Society Press, Washington (2003)
Meseguer, J., Escobar, S., Meadows, C.: A Rewriting-Based Inference System for the NRL Protocol Analyzer and its Meta-Logical Properties. Theoretical Computer Science 367(1-2), 162–202 (2006)
Typke und Wicke GbR. Validate/Check XML. Available at: http://www.xmlvalidation.com/
World Wide Web Consortium (W3C). Extensible Markup Language (XML) 1.0, 2nd edn. (1999), Available at: http://www.w3.org
World Wide Web Consortium (W3C): XML Path Language (XPath) (1999), Available at: http://www.w3.org
World Wide Web Consortium (W3C): Markup Validation Service, (2005), Available at: http://validator.w3.org/
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Alpuente, M., Ballis, D., Falaschi, M., Ojeda, P., Romero, D. (2007). A Fast Algebraic Web Verification Service. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds) Web Reasoning and Rule Systems. RR 2007. Lecture Notes in Computer Science, vol 4524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72982-2_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-72982-2_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72981-5
Online ISBN: 978-3-540-72982-2
eBook Packages: Computer ScienceComputer Science (R0)