3 research outputs found
Rewriting-based repairing strategies for XML repositories
[EN] Keeping XML data in a consistent state w.r.t. both structure and content is a burdensome
task. To maintain the consistency of ever-larger, complex XML repositories,
suitable mechanisms that are able to x every possible inconsistency are needed. In this
article, we present a methodology for semi-automatically repairing faulty XML repositories
that can be integrated on top of an existing rewriting-based veri cation engine.
As a formal basis for representing consistency criteria, we use a rule-based description
formalism that is realized in the language Maude. Then, starting from a categorization
of the kinds of errors that can be found during the veri cation process, we formulate
a stepwise transformation procedure that achieves correctness and completeness of the
XML repository w.r.t. its Maude formal speci cation while strictly observing the structure
of the XML documents. With the aim of increasing the level of automation of our
repair methodology, we also de ne two correction strategies and two completion strategies
that reduce either the amount of information to be changed or the number of repair
actions to be executed in order to deliver an XML repository that is both correct and
complete. Finally, we describe a prototype implementation of the repairing tool, which
we use for an experimental evaluation of our method with good results. ©2013 Elsevier Inc.All rights reserved.This work has been partially supported by the EU (FEDER) and the Spanish MEC project ref. TIN2010-21062-C02-02, and by Generalitat Valenciana ref.
PROMETEO2011/052. This work was carried out during the tenure of D. Ballis’ ERCIM “Alain Bensoussan” Postdoctoral Fellowship. The research leading to
these results has received funding from the European Union Seventh Framework Programme (FP7/2007–2013) under grant agreement n. 246016. F. Frechina
was supported by FPU-ME grant AP2010-5681 and D. Romero by FPI-MEC grant BES-2008-004860
We would like to thank the anonymous reviewers for their helpful comments.Alpuente Frasnedo, M.; Ballis, D.; Falaschi, M.; Frechina, F.; Romero, D. (2013). Rewriting-based repairing strategies for XML repositories. The Journal of Logic and Algebraic Programming. 82(8):326-352. https://doi.org/10.1016/j.jlap.2013.05.002S32635282
Web Sites Repairing through Abduction
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