A High Level Approach to Web Content Verification

  • Liliana Alexandre
  • Jorge Coelho
Part of the Advances in Intelligent and Soft Computing book series (AINSC, volume 166)


In this paper we present a tool for visually imposing constraints over the content of XML-based webpages and automatically repair such webpages in case they don’t comply with the imposed constraints. The tool is based in the XCentric programming language and relies on a highly declarative model.


Logic Program Integrity Constraint Tree View Semistructured Data Constraint Logic Program 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alalfi, M.H., Cordy, J.R., Dean, T.R.: Modelling methods for web application verification and testing: state of the art. Softw. Test. Verif. Reliab. 19(4), 265–296 (2009)CrossRefGoogle Scholar
  2. 2.
    Alexandre, L., Coelho, J.: Filtering xml content for publication and presentation on the web. In: ICDIM, pp. 85–89. IEEE (2011)Google Scholar
  3. 3.
    Alexandre, L., Coelho, J.: Xcentric-based visual approach to web content verification. In: Simões, A. (ed.) Proceedings of 9th XML, Associated Technologies and Applications, pp. 71–82. Escola Superior de Estudos Industriais e de Gestão, Vila do Conde (2011)Google Scholar
  4. 4.
    Alpuente, M., Ballis, D., Falaschi, M.: A Rewriting-based Framework for Web Sites Verification. Electronic Notes in Theoretical Computer Science, pp. 41–61. Elsevier Science (2005)Google Scholar
  5. 5.
    Alpuente, M., Ballis, D., Falaschi, M.: Rule-based verification of web sites. STTT 8(6), 565–585 (2006)CrossRefGoogle Scholar
  6. 6.
    Bry, F., Schaffert, S.: The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. In: Chaudhri, A.B., Jeckle, M., Rahm, E., Unland, R. (eds.) NODe-WS 2002. LNCS, vol. 2593, pp. 295–310. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  7. 7.
    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, pp. 255–270. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  8. 8.
    Coelho, J., Florido, M.: CLP(Flex): Constraint Logic Programming Applied to XML Processing. In: Meersman, R. (ed.) OTM 2004. LNCS, vol. 3291, pp. 1098–1112. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  9. 9.
    Coelho, J., Florido, M.: VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. In: Shen, H.T., Li, J., Li, M., Ni, J., Wang, W. (eds.) APWeb Workshops 2006. LNCS, vol. 3842, pp. 148–156. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
    Coelho, J., Florido, M.: Type-based static and dynamic website verification. In: The Second International Conference on Internet and Web Applications and Services. IEEE Computer Society (2007)Google Scholar
  11. 11.
    Coelho, J., Florido, M.: XCentric: logic programming for XML processing. In: ACM International Workshop on Web Information and Data Management (WIDM 2007), pp. 1–8 (2007)Google Scholar
  12. 12.
    Despeyroux, T.: Practical semantic analysis of web sites and documents. In: Feldman, S.I., Uretsky, M., Najork, M., Wills, C.E. (eds.) WWW, pp. 685–693. ACM (2004)Google Scholar
  13. 13.
    Foundation, W.: Wikipedia: Multilingual, web-based, free content encyclopedia project (2011) World Wide Web,
  14. 14.
    van Harmelen, F., van der Meer, J.: WebMaster: Knowledge-Based Verification of Web-Pages. In: Imam, I., Kodratoff, Y., El-Dessouki, A., Ali, M. (eds.) IEA/AIE 1999. LNCS (LNAI), vol. 1611, pp. 256–265. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  15. 15.
    Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing simulations on finite and infinite graphs. In: FOCS, pp. 453–462 (1995)Google Scholar
  16. 16.
    Kutsia, T.: Context sequence matching for XML. In: Proceedings of the 1st Int. Workshop on Automated Specification and Verification of Web Sites (2005)Google Scholar
  17. 17.
    Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer (1987)Google Scholar
  18. 18.
    Mancarella, P., Terreni, G., Sadri, F., Toni, F., Endriss, U.: The ciff proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. TPLP 9(6), 691–750 (2009)zbMATHMathSciNetGoogle Scholar
  19. 19.
    Mancarella, P., Terreni, G., Toni, F.: Web sites repairing through abduction. Electr. Notes Theor. Comput. Sci, vol. 235, pp. 137–152 (2009)Google Scholar
  20. 20.
    Mayol, E., Teniente, E.: A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. In: Akoka, J., Bouzeghoub, M., Comyn-Wattiau, I., Métais, E. (eds.) ER 1999. LNCS, vol. 1728, pp. 62–73. Springer, Heidelberg (1999)Google Scholar
  21. 21.
    Microsoft: The C# Language (2011),
  22. 22.
    Uwe Lesta, S.S.G.: A CSharp class library to connect. NET languages with SWI-Prolog (2011) World Wide Web,
  23. 23.
    W3C: XML Schema (2010) World Wide Web,
  24. 24.
    Wielemaker, J.: SWI Prolog. WWW (2011),
  25. 25.
    Wikipages (2011),

Copyright information

© Springer-Verlag GmbH Berlin Heidelberg 2012

Authors and Affiliations

  1. 1.Lusitânia - Companhia de Seguros, S.A.LisbonPortugal
  2. 2.School of Engineering of the Polytechnic of Porto (ISEP) & Artificial Intelligence and Computer Science LaboratoryUniversity of Porto (LIACC)PortoPortugal

Personalised recommendations