Rule-based verification of Web sites

Authors: Alpuente, M.¹; Ballis, D.²; Falaschi, M.³

Source: International Journal on Software Tools for Technology Transfer, Volume 8, Number 6, November 2006 , pp. 565-585(21)

Publisher: Springer

Buy & download fulltext article:

Price: $47.00 plus tax (Refund Policy)

Abstract:

In this paper, we develop a framework for the automated verification of Web sites, which can be used to specify integrity conditions for a given Web site, and then automatically check whether these conditions are fulfilled. First, we provide a rewriting-based, formal specification language which allows us to define syntactic as well as semantic properties of the Web site. Then, we formalize a verification technique which detects both incorrect/forbidden patterns as well as lack of information, that is, incomplete/missing Web pages inside the Web site. Useful information is gathered during the verification process which can be used to repair the Web site. Our methodology is based on a novel rewriting-based technique, called partial rewriting, in which the traditional pattern matching mechanism is replaced by tree simulation, a suitable technique for recognizing patterns inside semistructured documents. The framework has been implemented in the prototype GVerdi</Emphasis>, which is publicly available.

Document Type: Research article

DOI: http://dx.doi.org/10.1007/s10009-006-0009-7

Affiliations: 1: Email: alpuente@dsic.upv.es 2: Email: demis@dimi.uniud.it 3: Email: moreno.falaschi@unisi.it

Publication date: 2006-11-01