Toward automated schema-directed code revision

  • Authors:
  • Raquel Oliveira;Pierre Genevès;Nabil Layaïda

  • Affiliations:
  • Inria/LIG, Grenoble, France;CNRS and Inria/LIG, Grenoble, France;Inria/LIG, Grenoble, France

  • Venue:
  • Proceedings of the 2012 ACM symposium on Document engineering
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

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.