- -

Rewriting-based repairing strategies for XML repositories

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Rewriting-based repairing strategies for XML repositories

Show simple item record

Files in this item

dc.contributor.author Alpuente Frasnedo, María es_ES
dc.contributor.author Ballis, Demis es_ES
dc.contributor.author Falaschi, M. es_ES
dc.contributor.author Frechina, Francisco es_ES
dc.contributor.author Romero, Daniel
dc.date.accessioned 2014-05-22T09:38:48Z
dc.date.issued 2013-11
dc.identifier.issn 1567-8326
dc.identifier.uri http://hdl.handle.net/10251/37672
dc.description.abstract [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. es_ES
dc.description.sponsorship 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. en_EN
dc.format.extent 27 es_ES
dc.language Inglés es_ES
dc.publisher Elsevier es_ES
dc.relation MEC/TIN2010-21062-C02-02
dc.relation GV/PROMETEO/2011/052
dc.relation.ispartof The Journal of Logic and Algebraic Programming es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Repairing strategies es_ES
dc.subject XML consistency es_ES
dc.subject Rule-based techniques es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title Rewriting-based repairing strategies for XML repositories es_ES
dc.type Artículo es_ES
dc.identifier.doi 10.1016/j.jlap.2013.05.002
dc.relation.projectID info:eu-repo/grantAgreement/EC/FP7/246016/EU
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation 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. doi:10.1016/j.jlap.2013.05.002 es_ES
dc.description.accrualMethod Senia es_ES
dc.relation.publisherversion http://dx.doi.org/10.1016/j.jlap.2013.05.002 es_ES
dc.description.upvformatpinicio 326 es_ES
dc.description.upvformatpfin 352 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.description.volume 82 es_ES
dc.description.issue 8 es_ES
dc.relation.senia 254936
dc.contributor.funder Ministerio de Educación y Ciencia
dc.contributor.funder Generalitat Valenciana
dc.contributor.funder European Commission


This item appears in the following Collection(s)

Show simple item record