Abstract
Verdi is a system for the automated verification of Web sites which can be used to specify integrity conditions for a given Web site, and then automatically check whether these conditions are actually fulfilled. It provides a rule-based, formal specification language which allows us to define syntactic/semantic properties of the Web site as well as a verification facility which computes the requirements not fulfilled by the Web site, and helps to repair the errors by finding out incomplete/missing Web pages.
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.
This work has been partially supported by MCYT under grants TIC2001-2705-C03-01, HU2003-0003, by Generalitat Valenciana under grant GR03/025 and by ICT for EU-India Cross Cultural Dissemination Project under grant ALA/95/23/2003/077-054.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alpuente, M., Ballis, D., Falaschi, M.: A Rewriting-based Framework for Web Sites Verification. In: Proc. of RULE 2004. ENTCS, Elsevier, Amsterdam (2004) (to appear)
Capra, L., Emmerich, W., Finkelstein, A., Nentwich, C.: xlinkit: a Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology 2(2), 151–185 (2002)
Fernandez, M., Florescu, D., Levy, A., Suciu, D.: Verifying Integrity Constraints on Web Sites. In: Proc. of IJCAI 1999, vol. 2, pp. 614–619. Morgan Kaufmann, San Francisco (1999)
Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing simulations on finite and infinite graphs. In: Proc. of IEEE FOCS 1995, pp. 453–462 (1995)
PLT. DrScheme web site, Available at: http://www.drscheme.org
World Wide Web Consortium (W3C). HyperText Markup Language (HTML) 4.01 (1997), Available at: http://www.w3.org
World Wide Web Consortium (W3C). Extensible Markup Language (XML) 1.0, second edition (1999), Available at: http://www.w3.org
World Wide Web Consortium (W3C). XML Path Language (XPath) (1999), Available at: http://www.w3.org
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alpuente, M., Ballis, D., Falaschi, M. (2004). Verdi: An Automated Tool for Web Sites Verification. In: Alferes, J.J., Leite, J. (eds) Logics in Artificial Intelligence. JELIA 2004. Lecture Notes in Computer Science(), vol 3229. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30227-8_67
Download citation
DOI: https://doi.org/10.1007/978-3-540-30227-8_67
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23242-1
Online ISBN: 978-3-540-30227-8
eBook Packages: Springer Book Archive