Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Rewriting-based Framework for Web Sites Verification
 

Summary: A Rewriting-based Framework for Web Sites
Verification
M. Alpuente1
, D. Ballis2
, and M. Falaschi2
1
DSIC, Universidad Polit´ecnica de Valencia, Camino de Vera s/n, Apdo. 22012,
46071 Valencia, Spain. alpuente@dsic.upv.es.
2
Dip. Matematica e Informatica, Via delle Scienze 206, 33100 Udine, Italy.
{demis,falaschi}@dimi.uniud.it.
Abstract. In this paper, we develop a framework for the automated
verification of Web sites which can be used to specify integrity condi-
tions for a given Web site, and then automatically check whether these
conditions are fulfilled. First, we provide a rewriting-based, formal spec-
ification language which allows us to define syntactic as well as semantic
properties of the Web site. Then, we formalize a verification technique
which obtains the requirements not fulfilled by the Web site, and helps to
repair the errors by finding out incomplete information and/or missing
pages. Our methodology is based on a novel rewriting-based technique,

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences