loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
A Semi-Automatic Methodology for Repairing FaultyWeb Sites
Pune, India
September 11-September 15
ISBN: 0-7695-2678-0
Maria Alpuente, Universidad Politecnica de Valencia, Spain
Demis Ballis, uniud.it
Moreno Falaschi, unisi, it
Daniel Romero, Universidad Politecnica de Valencia, Spain
The development and maintenance of Web sites are difficult tasks. To maintain the consistency of ever-larger, complex Web sites, Web administrators need effective mechanisms that assist them in fixing every possible inconsistency. In this paper, we present a novel methodology for semi-automatically repairing faulty Web sites which can be integrated on top of an existing rewriting-based verification technique developed in a previous work. Starting from a categorization of the kinds of errors that can be found during the Web verification activities, we formulate a stepwise transformation procedure that achieves correctness and completeness of the Web site w.r.t. its formal specification while respecting the structure of the document (e.g. the schema of an XML document). Finally, we shortly describe a prototype implementation of the repairing tool which we used for an experimental evaluation of our method.
Citation:
Maria Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero, "A Semi-Automatic Methodology for Repairing FaultyWeb Sites," sefm, pp.31-40, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.