Rule-based verification of Web sites |
| |
Authors: | M Alpuente D Ballis M Falaschi |
| |
Affiliation: | (1) DSIC, Universidad Politécnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071 Valencia, Spain;(2) Dip. Matematica e Informatica, Via delle Scienze 206, 33100 Udine, Italy;(3) Dip. di Scienze Matematiche e Informatiche, Pian dei Mantellini 44, 53100 Siena, Italy |
| |
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, which is publicly available. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|