VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content

  • Jorge Coelho
  • Mário Florido
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3842)


Web site semantic content verification can be a tedious and error prone task. In this paper we propose a framework for syntactic validation and semantic verification based on the logic programming language XCentric. The high declarative model of this language based on a new unification algorithm along with an interface to semistructured data provides an elegant framework for semantic error detection. The result is an easy to follow model to improve website quality and management.


Sequence Variable Logic Programming Constraint Logic Constraint Logic Programming Semistructured Data 
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.
    Alpuente, M., Ballis, D., Falaschi, M.: A Rewriting-based Framework for Web Sites Verification. In: Electronic Notes in Theoretical Computer Science, pp. 41–61. Elsevier Science, Amsterdam (2005)Google Scholar
  2. 2.
    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, p. 255. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  3. 3.
    Coelho, J., Florido, M.: CLP(Flex): Constraint Logic Programming Applied to XML Processing. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol. 3291, pp. 1098–1112. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  4. 4.
    Coelho, J., Florido, M.: CLP(Flex): Constraint logic programming applied to XML processing. Technical Report 06, DCC-FC, LIACC. University of Porto (July 2004), available from
  5. 5.
    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, New York (2004)CrossRefGoogle Scholar
  6. 6.
    Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing simulations on finite and infinite graphs. In: FOCS, pp. 453–462 (1995)Google Scholar
  7. 7.
    Jaffar, J., Maher, M.J.: Constraint logic programming: A survey. Journal of Logic Programming 19/20, 503–581 (1994)CrossRefMathSciNetGoogle Scholar
  8. 8.
    Kutsia, T.: Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. In: O’Neill, M., Sutcliffe, R.F.E., Ryan, C., Eaton, M., Griffith, N.J.L. (eds.) AICS 2002. LNCS (LNAI), vol. 2464, Springer, Heidelberg (2002)Google Scholar
  9. 9.
    Kutsia, T.: Context sequence matching for xml. In: Proceedings of the 1st International Workshop on Automated Specification and Verification of Web Sites, Valencia, Spain, March 14-15, pp. 103–119 (2005)Google Scholar
  10. 10.
    Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)zbMATHGoogle Scholar
  11. 11.
  12. 12.
    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
  13. 13.
    Extensible Markup Language, XML (2003),

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jorge Coelho
    • 1
  • Mário Florido
    • 2
  1. 1.Instituto Superior de Engenharia do Porto & LIACCPortoPortugal
  2. 2.University of Porto, DCC-FC & LIACCPortoPortugal

Personalised recommendations