Skip to main content
SpringerLink
Log in

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

  • Conference paper
Advanced Web and Network Technologies, and Applications (APWeb 2006)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3842))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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 http://www.ncc.up.pt/~jcoelho/clpflex.pdf

  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)

    Chapter  Google Scholar 

  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. Jaffar, J., Maher, M.J.: Constraint logic programming: A survey. Journal of Logic Programming 19/20, 503–581 (1994)

    Article  MathSciNet  Google Scholar 

  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. 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. Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)

    MATH  Google Scholar 

  11. SWI Prolog, http://www.swi-prolog.org/

  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)

    Chapter  Google Scholar 

  13. Extensible Markup Language, XML (2003), http://www.w3.org/XML/

Download references

Author information

Authors and Affiliations

  1. Instituto Superior de Engenharia do Porto & LIACC, Rua do Campo Alegre, 823, 4150-180, Porto, Portugal

    Jorge Coelho

  2. University of Porto, DCC-FC & LIACC, Rua do Campo Alegre, 823, 4150-180, Porto, Portugal

    Mário Florido

Authors
  1. Jorge Coelho
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mário Florido
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, QLD, Australia

    Heng Tao Shen

  2. School of Computer Science and Technology, Heilongjiang University, P.O. Box, 150080, Harbin, China

    Jinbao Li

  3. Department of Computer Science and Engineering, Shanghai Jiatong University, 80 Dongcuan Road, 200240, Shanghai, China

    Minglu Li

  4. Department of Computer Science, College of Liberal Arts and Science, University of Iowa, 52242, Iowa City, IA, USA

    Jun Ni

  5. UNC Chapel Hill,  

    Wei Wang

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Coelho, J., Florido, M. (2006). VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. In: Shen, H.T., Li, J., Li, M., Ni, J., Wang, W. (eds) Advanced Web and Network Technologies, and Applications. APWeb 2006. Lecture Notes in Computer Science, vol 3842. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11610496_20

Download citation

  • DOI: https://doi.org/10.1007/11610496_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-31158-4

  • Online ISBN: 978-3-540-32435-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation