License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.RTA.2015.350
URN: urn:nbn:de:0030-drops-52078
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5207/
Go to the corresponding LIPIcs Volume Portal

Lepper, Markus ; Trancón y Widemann, Baltasar

A Simple and Efficient Step Towards Type-Correct XSLT Transformations

pdf-format:
27.pdf (0.6 MB)

Abstract

XSLT 1.0 is a standardized functional programming language and widely used for defining transformations on XML models and documents, in many areas of industry and publishing. The problem of XSLT type checking is to verify that a given transformation, when applied to an input which conforms to a given structure definition, e.g. an XML DTD, will always produce an output which adheres to a second structure definition. This problem is known to be undecidable for the full range of XSLT and document structure definition languages. Either one or both of them must be significantly restricted, or only approximations can be calculated.
The algorithm presented here takes a different approach towards type
correct XSLT transformations. It does not consider the type of the input document at all. Instead it parses the fragments of the result document contained verbatim in the transformation code and verifies that these can potentially appear in the result language, as defined by a given DTD. This is a kind of abstract interpretation, which can be executed on the fly and in linear time when parsing the XSLT program. Generated error messages are located accurately to a child subsequence of a single result element node.
Apparently the method eliminates a considerable share of XSLT programming errors, on the same order of magnitude as a full fledged global control-flow analysis.

BibTeX - Entry

@InProceedings{lepper_et_al:LIPIcs:2015:5207,
  author =	{Markus Lepper and Baltasar Tranc{\'o}n y Widemann},
  title =	{{A Simple and Efficient Step Towards Type-Correct XSLT Transformations}},
  booktitle =	{26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
  pages =	{350--364},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-85-9},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{36},
  editor =	{Maribel Fern{\'a}ndez},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5207},
  URN =		{urn:nbn:de:0030-drops-52078},
  doi =		{10.4230/LIPIcs.RTA.2015.350},
  annote =	{Keywords: XSLT, type checking, abstract interpretation}
}

Keywords: XSLT, type checking, abstract interpretation
Collection: 26th International Conference on Rewriting Techniques and Applications (RTA 2015)
Issue Date: 2015
Date of publication: 18.06.2015

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI