Mostrar el registro sencillo del ítem
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.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/MICINN//TIN2010-21062-C02-02/ES/SWEETLOGICS-UPV/ | |
dc.relation.projectID | info:eu-repo/grantAgreement/EC/FP7/246016/EU/Alain Bensoussan Career Development Enhancer/ | |
dc.relation.projectID | info:eu-repo/grantAgreement/GVA//PROMETEO%2F2011%2F052/ES/LOGICEXTREME: TECNOLOGIA LOGICA Y SOFTWARE SEGURO/ | |
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. https://doi.org/10.1016/j.jlap.2013.05.002 | es_ES |
dc.description.accrualMethod | S | 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 | Generalitat Valenciana | |
dc.contributor.funder | European Commission | |
dc.contributor.funder | Ministerio de Ciencia e Innovación | es_ES |