Toward Automated Schema-directed Code Revision

Raquel Oliveira 1 Pierre Genevès 1 Nabil Layaïda 1
1 WAM - Web, adaptation and multimedia
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Updating XQuery programs in accordance with a change of the input XML schema is known to be a time-consuming and error-prone task. We propose an automatic method aimed at helping developers realign the XQuery program with the new schema. First, we introduce a taxonomy of possible problems induced by a schema change. This allows to differentiate problems according to their severity levels, e.g. errors that require code revision, and semantic changes that should be brought to the developer's attention. Second, we provide the necessary algorithms to detect such problems using a solver that checks satisfiability of XPath expressions.
Type de document :
Communication dans un congrès
DocEng 2012, Sep 2012, Paris, France. ACM, 2012, <10.1145/2361354.2361377>
Liste complète des métadonnées
Contributeur : Vincent Quint <>
Soumis le : lundi 24 septembre 2012 - 11:59:48
Dernière modification le : jeudi 27 septembre 2012 - 16:05:07
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 15:34:52


Fichiers produits par l'(les) auteur(s)




Raquel Oliveira, Pierre Genevès, Nabil Layaïda. Toward Automated Schema-directed Code Revision. DocEng 2012, Sep 2012, Paris, France. ACM, 2012, <10.1145/2361354.2361377>. <hal-00734678>



Consultations de
la notice


Téléchargements du document