Rule-based verification of Web sites

International Journal on Software Tools for Technology Transfer

Volumn 8, Issue 6, 2006, Pages 565-585

  Alpuente, M ^a   Ballis, Demis ^b   Falaschi, Moreno ^c  

^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

EID: 33750464808     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-006-0009-7     Document Type: Conference Paper

References (38)

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.: A rewriting-based framework for Web sites verification. In: Proceedings of 1st International Workshop on Ruled-Based Programming (RULE'04), vol. 124(1). ENTCS, Elsevier (2004)
3. Alpuente M., Ballis D., Falaschi M.(2004). VERDI: An automated tool for Web sites Verification. In: Alferes J.J., Leite J. (eds) Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA'04), vol. 3229 of Lecture Notes in Computer Science. Springer, Berlin Heidelberg New York, pp. 726-729
4. Baader F., Nipkow T.(1998). Term Rewriting and All That. Cambridge University Press, Cambridge
5. Ballis, D.: Rule-based Software Verification and Correction. PhD thesis, University of Udine and Technical University of Valencia (2005)
6. Ballis, D., García Vivó J.: A rule-based system for Web site verification. In: Proceedings of 1st International Workshop on Automated Specification and Verification of Web Sites (WWV'05). ENTCS, Elsevier, 2005. To appear.
7. Baxter, I.D., Ricca, F., Tonella, P.: Web application transformations based on rewrite rules. Inform. Softw. Technol. 44 (13), (2002)
8. Bertino E., Mesiti M., Guerrin G.(2004). A matching algorithm for measuring the structural similarity between an XML document and a DTD and its applications. Inform. Syst. 29(1): 23-46
9. Bezem M.(2003). TeReSe, Term Rewriting Systems, chapter Mathematical background (Appendix A). Cambridge University Press, Cambridge
10. Bry, F., Schaffert, S.: Towards a declarative query and transformation language for XML and semistructured data: Simulation unification. In: Proceedings of the International Conference on Logic Programming (ICLP'02) vol. 2401 of LNCS. Springer Berlin Heidelberg New York (2002)
11. Bry, F., Schaffert, S.: TDe XML query language xcerpt: design principles, examples, and semantics. Technical report, Available at: http://www.xcerpt.org (2002)
12. Buneman, P., Davidson, S.B., Hillebrand, G.G., Suciu, D.: A query language and optimization techniques for unstructured data. In: Proceedings of ACM SIGMOD International Conference on Management of Data (ICMD'96) (1996)
13. Capra L., Emmerich W., Finkelstein A., Nentwich C.(2002). XLINKIT: A consistency checking and smart link generation service. ACM Trans. Internet Technol. 2 (2): 151-185
14. Cortesi A., Dovier A., Quintarelli E., Tanca L.(2002). Operational and abstract semantics of a graphical query language. Theore. Comput. Sci. 275, 521-560
15. Dershowitz N., Plaisted D.(2001). Rewriting. Handbook Automated Reasoning 1, 535-610
16. Despeyroux, T., Trousse, B.: Semantic verification of Web sites using natural semantics. In: Proceedings of 6th Conference on Content-Based Multimedia Information Access (RIAO'00) (2000)
17. Di Sciascio, E., Donini, F.M., Mongiello, M., Piscitelli, G.: Web applications design and maintenance using symbolic model checking. In: Proceedings 7th European Conference on Software Maintenance and Reengineering, pp. 63. IEEE Computer Society (2003)
18. Easterbrook S.M., Nuseibeh B., Russo A.(2000). Leveraging inconsistency in software development. IEEE Comp. 33 (4): 24-29
19. Ellmer E., Emmerich W., Finkelstein A., Nentwich C.(2003). Flexible consistency checking. ACM Trans. Softw. Eng. 12(1): 28-63
20. Fan W., Libkin L.(2002). On XML integrity constraints in the presence of DTDs. J. ACM 49(3): 368-406
21. Fernandez, M., Florescu, D., Levy, A., Suciu, D.: Verifying integrity constraints on Web sites. In: Proceedings of Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99) vol. 2 pp. 614-619. Morgan Kaufmann (1999)
22. Fernandez, M.F., Suciu, D.: Optimizing regular path expressions using graph schemas. In: Proceedings of International Conference on Data Engineering (ICDE'98), pp. 14-23 (1998)
23. M. Hanus (ed.). Curry: An integrated functional logic language. Available at: http://www-i2.informatik.rwthaachen.de/~hanus/curry (1999)
24. Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing simulations on finite and infinite graphs. In: IEEE Sympo Foundations Comput. Sci. 453-462 (1995)
25. Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley (1979)
26. Hosoya, H., Pierce, B.: Regular expressions pattern matching for XML. In: Proceedings of 25th ACM SIGPLAN-SIGACT International Symposium POPL, pp. 67-80. ACM (2001)
27. Hussmann, H.: Unification in conditional-equational Theories. In: Proceedings of ALP'88, pp. 31-40. Springer LNCS 343 (1988)
28. Imagiware. Inc. Doctor HTML: Quality assessment for the Web. Available at: http://www.doctor-html.com/RxHTML/.
29. KirchAer, C., Qian, Z., Singh, P.K,. Stuber, J.: Xemantics: a Rewriting Calculus-Based Semantics of XSLT. Rapport de recherche A01-R-386, LORIA (2001)
30. Klop J.W. (1992). Term rewriting systems. In: Abramsky S., Gabbay D., Maibaum T., (eds) Handbook of Logic in Computer Science vol. I. Oxford University Press, Oxford, pp. 1-112
31. MAreno-Navarro J.J., Rodriguez-Artalejo.: BABEL: a functional and logic programming language based on a constructor discipline and narrowing. In: Grabowski I., Lescanne P., Wechler W., (eds) Proceedings of the International Conference on Algebraic and Logic Programming. pp. 223-232 Springer LNCS 343 (1988)
32. Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: Proceedings of the 25th International Conference on Software Engineering (ICSE'03). IEEE Computer Society (2003)
33. NesbiK, S.: HTML Tidy: keHping it clean Available at: http://www.webreview.com/2000/06-16/webauthors/06-16-00-3.shtml (2000)
34. The Open Group. Unix Regular Expressions. Available at: http://www.opengroup.org/onlinepubs/7908799/xbd/re.html.
35. Academisa Sinica Computing Centre. The schematron: An XML structure validation language using pattern in trees. Available at: http://xml.ascc.net/resource/schematron/schematron.html
36. World Wide Web Consortium (W3C). Extensible Markup Language (XML) 1.0, second edition Available at: http://www.w3.org (1999)
37. World Wide Web Consortium (W3C). XML path language (XPath) Available at: http://www.w3.org (1999)
38. World Wide Web Consortium (W3C). Extensible HyperText Markup Language (XHTML) Available at: http://www.w3.org (2000)