We present a methodology and a tool for suggesting repairs to web sites that violate some given requirements in the form of web rules expressed in (an extension of) a fragment of Excerpt. The methodology consists in translating these web rules into abductive logic programs with constraints and process these by means of an existing general-purpose proof procedure, called CIFF. The tool, that we call CIFFWEB, consists of CIFF as well as the translation from rules to programs and from web sites to a suitable logical format. The tool extends an existing tool for simply checking web sites against web rules.
|Autori interni:||MANCARELLA, PAOLO MARIA|
|Autori:||Mancarella P; Terreni G.; Toni F.|
|Titolo:||Web Sites Repairing through Abduction|
|Anno del prodotto:||2009|
|Digital Object Identifier (DOI):||10.1016/j.entcs.2009.03.009|
|Appare nelle tipologie:||1.1 Articolo in rivista|