A fast algebraic web verification service

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4524 LNCS, Issue , 2007, Pages 239-248

  Alpuente, M ^a   Ballis, D ^b   Falaschi, M ^c   Ojeda, P ^a   Romero, D ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

^b UNIVERSITY OF UDINE   (Italy)

^c UNIVERSITY OF SIENA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; ERROR ANALYSIS; LINEAR ALGEBRA; VERIFICATION; WEBSITES; XML;

MAUDE; WEB VERIFICATION ENGINES; WEB VERIFICATION SERVICES; WEBVERDI-M;

WEB SERVICES;

EID: 38149004329     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72982-2_18     Document Type: Conference Paper

References (24)

1. Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web. From Relations to Semistructured Data and XML. Morgan Kaufmann (2000)
2. Alpuente, M., Ballis, D., Falaschi, M.: Automated Verification of Web Sites Using Partial Rewriting. Software Tools for Technology Transfer 8, 565-585 (2006)
3. 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)
4. Ballis, D., Garcia, 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)
5. 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)
6. 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)
7. Centrum voor Wiskunde en Informatica. XMark - an XML Benchmark Project. Available at: http://monetdb.cwi.nl/xml/ (2001)
8. Clavel, M., Duran, 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)
9. Dershowitz, N., Plaisted, D.: Rewriting. Handbook of Automated Reasoning 1, 535-610 (2001)
10. 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)
11. 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)
12. Ellmer, E., Emmerich, W., Finkelstein, A., Nentwich, C.: Flexible Consistency Checking. ACM Transaction on Software Engineering 12(1), 28-63 (2003)
13. English, J.: The HXML Haskell Library. Available at: http://www. flightlab.com/~joe/hxml/ (2002)
14. 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)
15. 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)
16. Leuschel, M.: Homeomorphic Embedding for Online Termination of Symbolic Methods. In: The Essence of Computation. LNCS, vol. 2566, pp. 379-403. Springer, Heidelberg (2002)
17. Marti-Oliet, N., Meseguer, J.: Rewriting Logic: Roadmap and Bibliography. Theoretical Computer Science 285(2), 121-154 (2002)
18. 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)
19. 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)
20. 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)
21. Typke und Wicke GbR. Validate/Check XML. Available at: http://www.xmlvalidation.com/
22. World Wide Web Consortium (W3C). Extensible Markup Language (XML) 1.0, second edition. Available at: http://www.w3.org (1999).
23. World Wide Web Consortium (W3C). XML Path Language (XPath). Available at:http://www.w3.org (1999)
24. World Wide Web Consortium (W3C). Markup Validation Service. Available at: http://validator.w3.org/ (2005)