Jump to content

XSLT: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
Changed destination of "Turing-complete" from "Turing tarpit" to "Turing completeness" which is the correct reference...."Turing-tarpit" relinked after as if ever there was a canonical specimen for one it's XSLT
m Typo slash spelling of "Turing"
Line 30: Line 30:
The original document is not changed; rather, a new document is created based on the content of an existing one.<ref>{{cite web | url=http://www.w3.org/TR/xslt#section-Introduction | title=Introduction | publisher=W3C | work=XSL Transformations (XSLT) Version 1.0 W3C Recommendation | date=16 November 1999 | accessdate=November 7, 2012}}</ref> Typically, input documents are XML files, but anything from which the processor can build an [[XQuery and XPath Data Model]] can be used, such as [[relational database]] tables or [[geographical information systems]].<ref name="Transformation"/>
The original document is not changed; rather, a new document is created based on the content of an existing one.<ref>{{cite web | url=http://www.w3.org/TR/xslt#section-Introduction | title=Introduction | publisher=W3C | work=XSL Transformations (XSLT) Version 1.0 W3C Recommendation | date=16 November 1999 | accessdate=November 7, 2012}}</ref> Typically, input documents are XML files, but anything from which the processor can build an [[XQuery and XPath Data Model]] can be used, such as [[relational database]] tables or [[geographical information systems]].<ref name="Transformation"/>


XSLT is a [[Turing completeness|Turing-complete]] language, a designation which indicates that language has the ability to specify any operation capable of being executed by a computer, which is not to be taken to mean that all Turning-complete languages are in fact suited or intended for the specification of all operations a computer is capable of executing, a potential programming pitfall referred to as a [[Turing tarpit]].<ref>{{cite web|last=Kepser|first=Stephan|title=A Simple Proof for the Turing-Completeness of XSLT and XQuery|url=http://conferences.idealliance.org/extreme/html/2004/Kepser01/EML2004Kepser01.html|publisher=Proceedings of Extreme Markup Languages|accessdate=28 October 2012}}</ref>
XSLT is a [[Turing completeness|Turing-complete]] language, a designation which indicates that language has the ability to specify any operation capable of being executed by a computer, which is not to be taken to mean that all Turing-complete languages are in fact suited or intended for the specification of all operations a computer is capable of executing, a potential programming pitfall referred to as a [[Turing tarpit]].<ref>{{cite web|last=Kepser|first=Stephan|title=A Simple Proof for the Turing-Completeness of XSLT and XQuery|url=http://conferences.idealliance.org/extreme/html/2004/Kepser01/EML2004Kepser01.html|publisher=Proceedings of Extreme Markup Languages|accessdate=28 October 2012}}</ref>


==History==
==History==

Revision as of 03:56, 7 September 2017

XSLT
ParadigmDeclarative
DeveloperW3C
First appeared1998
Stable release
3.0
WebsiteW3C Transformation
Major implementations
libxslt, Saxon, Xalan
Influenced by
DSSSL

XSLT (Extensible Stylesheet Language Transformations) is a language for transforming XML documents into other XML documents,[1] or other formats such as HTML for web pages, plain text or XSL Formatting Objects, which may subsequently be converted to other formats, such as PDF, PostScript and PNG.[2] XSLT 1.0 is widely supported in modern web browsers.

The original document is not changed; rather, a new document is created based on the content of an existing one.[3] Typically, input documents are XML files, but anything from which the processor can build an XQuery and XPath Data Model can be used, such as relational database tables or geographical information systems.[1]

XSLT is a Turing-complete language, a designation which indicates that language has the ability to specify any operation capable of being executed by a computer, which is not to be taken to mean that all Turing-complete languages are in fact suited or intended for the specification of all operations a computer is capable of executing, a potential programming pitfall referred to as a Turing tarpit.[4]

History

XSLT is influenced by functional languages,[5] and by text-based pattern matching languages like SNOBOL and AWK. Its most direct predecessor is DSSSL, which did for SGML what XSLT does for XML.[6]

  • XSLT 1.0: XSLT was part of the World Wide Web Consortium (W3C)'s Extensible Stylesheet Language (XSL) development effort of 1998–1999, a project that also produced XSL-FO and XPath. Some members of the standards committee that developed XSLT, including James Clark, the editor, had previously worked on DSSSL. XSLT 1.0 was published as a W3C recommendation in November 1999.[7]
  • XSLT 2.0: after an abortive attempt to create a version 1.1 in 2001,[8] the XSL working group joined forces with the XQuery working group to create XPath 2.0,[9] with a richer data model and type system based on XML Schema. Building on this is XSLT 2.0,[10] developed under the editorship of Michael Kay, which reached recommendation status in January 2007.[11] As of 2010, however, XSLT 1.0[12] is still widely used, since 2.0 is not supported natively in web browsers or for environments like LAMP.
  • XSLT 3.0: became a W3C Recommendation on 8 June 2017. The main new features are:[13]
    • Streaming transformations: in previous versions the entire input document had to be read into memory before it could be processed,[14] and output could not be written until processing had finished (although Saxon does have a streaming extension). The working draft allows XML streaming which will be useful for processing documents too large to fit in memory, or when transformations are chained in XML Pipelines.
    • Improvements to the modularity of large stylesheets.
    • Improved handling of dynamic errors with, for example, an xsl:try instruction.
    • Functions can now be arguments to other (higher-order) functions.

Design and processing model

Diagram of the basic elements and process flow of Extensible Stylesheet Language Transformations.

The XSLT processor takes one or more XML source documents, plus one or more XSLT stylesheets, and processes them to produce an output document. In contrast to widely implemented imperative programming languages like C, XSLT is declarative.[15] The basic processing paradigm is pattern matching.[16] Rather than listing an imperative sequence of actions to perform in a stateful environment, template rules only define how to handle a node matching a particular XPath-like pattern, if the processor should happen to encounter one, and the contents of the templates effectively comprise functional expressions that directly represent their evaluated form: the result tree, which is the basis of the processor's output.

The processor follows a fixed algorithm.[17] First, assuming a stylesheet has already been read and prepared, the processor builds a source tree from the input XML document. It then processes the source tree's root node, finds the best-matching template for that node in the stylesheet, and evaluates the template's contents. Instructions in each template generally direct the processor to either create nodes in the result tree, or to process more nodes in the source tree in the same way as the root node. Output derives from the result tree.

Processor implementations

  • Altova RaptorXML Server: cross-platform engine that supports XSLT 1.0 and 2.0, most of XPath 3.0, and some features from the XSLT 3.0 working draft; also XQuery. Allows command line operations and interfaces to COM, Java, and .NET[18] and also includes a built-in HTTP server.
  • Exselt:[19] A streaming XSLT 3.0 processor which runs on the .NET framework written in F#. Fully supports the XSLT 3.0 Draft, XPath 3.0 Recommendation and XDM 3.0 Recommendation standards.
  • libxslt is a free library released under the MIT License that can be reused in commercial applications. It is based on libxml and implemented in C for speed and portability. It supports XSLT 1.0 and EXSLT extensions.[20]
  • MSXML and .NET. MSXML includes an XSLT 1.0 processor. From MSXML 4.0 it includes the command line utility msxsl.exe.[32]
  • Saxon: an XSLT 3.0 and XQuery 3.1 processor with open-source and proprietary versions for stand-alone operation and for Java, JavaScript[33] and .NET.
  • QuiXSLT: an XSLT 3.0 processor doing streaming implemented in Java by Innovimax and INRIA.[34]
  • Xalan: an open source XSLT 1.0 processor from the Apache Software Foundation available stand-alone and for Java and C++.
  • Web browsers: Safari, Chrome, Firefox, Opera and Internet Explorer all support XSLT 1.0. None support XSLT 2.0 natively, although the third party products like Saxon-CE[35] and Frameless[36] can provide this functionality.[37][38] Browsers can perform on-the-fly transformations of XML files and display the transformation output in the browser window. This is done either by embedding the XSL in the XML document or by referencing a file containing XSL instructions from the XML document. The latter may not work with Chrome because of its security model.[39]
  • XMLStarlet is "a set of command line utilities (tools) which can be used to transform, query, validate, and edit XML documents". It can "apply XSLT stylesheets to XML documents" and does not require Java. It uses libxslt and supports XSLT 1.0.
  • Xuriella[40] and Plexippus-xpath[41] are XSLT 1.0 processors written in Common Lisp.

Performance

Most early XSLT processors were interpreters. More recently, code generation is increasingly common, using portable intermediate languages (such as Java bytecode or .NET Common Intermediate Language) as the target. However, even the interpretive products generally offer separate analysis and execution phases, allowing an optimized expression tree to be created in memory and reused to perform multiple transformations. This gives substantial performance benefits in online publishing applications, where the same transformation is applied many times per second to different source documents.[42] This separation is reflected in the design of XSLT processing APIs (such as JAXP).

Early XSLT processors had very few optimizations. Stylesheet documents were read into Document Object Models and the processor would act on them directly. XPath engines were also not optimized. Increasingly, however, XSLT processors use optimization techniques found in functional programming languages and database query languages, such as static rewriting of an expression tree (e.g., to move calculations out of loops), and lazy pipelined evaluation to reduce the memory footprint of intermediate results (and allow "early exit" when the processor can evaluate an expression such as following-sibling::*[1] without a complete evaluation of all subexpressions). Many processors also use tree representations that are significantly more efficient (in both space and time)[43] than general-purpose DOM implementations.

In June 2014, Debbie Lockett and Michael Kay introduced an open-source benchmarking framework for XSLT processors called XT-Speedo.[44]

XPath

XSLT uses XPath to identify subsets of the source document tree and perform calculations. XPath also provides a range of functions, which XSLT itself further augments.

XSLT 1.0 uses XPath 1.0, while XSLT 2.0 uses XPath 2.0. XSLT 3.0 will work with either XPath 3.0 or 3.1. In the case of 1.0 and 2.0, the XSLT and XPath specifications were published on the same date. With 3.0, however, they were no longer synchronized; XPath 3.0 became a Recommendation in April 2014, followed by XPath 3.1 in February 2017; XSLT 3.0 followed in June 2017.

XQuery compared

XSLT functionalities overlap with those of XQuery, which was initially conceived as a query language for large collections of XML documents.

The XSLT 2.0 and XQuery 1.0 standards were developed by separate working groups within W3C, working together to ensure a common approach where appropriate. They share the same data model, type system, and function library, and both include XPath 2.0 as a sublanguage.

The two languages, however, are rooted in different traditions and serve the needs of different communities. XSLT was primarily conceived as a stylesheet language whose primary goal was to render XML for the human reader on screen, on the web (as web template language), or on paper. XQuery was primarily conceived as a database query language in the tradition of SQL.

Because the two languages originate in different communities, XSLT is stronger in its handling of narrative documents with more flexible structure, while XQuery is stronger in its data handling, for example when performing relational joins.[citation needed]

Media types

The <output> element can optionally take the attribute media-type, which allows one to set the media type (or MIME type) for the resulting output, for example: <xsl:output output="xml" media-type="application/xml"/>. The XSLT 1.0 recommendation recommends the more general attribute types text/xml and application/xml since for a long time there was no registered media type for XSLT. During this time text/xsl became the de facto standard. In XSLT 1.0 it was not specified how the media-type values should be used.

With the release of the XSLT 2.0, the W3C recommended the registration of the MIME media type application/xslt+xml[45] and it was later registered with the Internet Assigned Numbers Authority.[46]

Pre-1.0 working drafts of XSLT used text/xsl in their embedding examples, and this type was implemented and continues to be promoted by Microsoft in Internet Explorer[47] and MSXML. It is also widely recognized in the xml-stylesheet processing instruction by other browsers. In practice, therefore, users wanting to control transformation in the browser using this processing instruction are obliged to use this unregistered media type.[48]

Examples

These examples use the following incoming XML document

<?xml version="1.0" ?>
<persons>
  <person username="JS1">
    <name>John</name>
    <family-name>Smith</family-name>
  </person>
  <person username="MI1">
    <name>Morka</name>
    <family-name>Ismincius</family-name>
  </person>
</persons>

Example 1 (transforming XML to XML)

This XSLT stylesheet provides templates to transform the XML document:

<?xml version="1.0" encoding="UTF-8"?>
<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" version="1.0">
  <xsl:output method="xml" indent="yes"/>

  <xsl:template match="/persons">
    <root>
      <xsl:apply-templates select="person"/>
    </root>
  </xsl:template>

  <xsl:template match="person">
    <name username="{@username}">
      <xsl:value-of select="name" />
    </name>
  </xsl:template>

</xsl:stylesheet>

Its evaluation results in a new XML document, having another structure:

<?xml version="1.0" encoding="UTF-8"?>
<root>
  <name username="JS1">John</name>
  <name username="MI1">Morka</name>
</root>

Example 2 (transforming XML to XHTML)

Processing the following example XSLT file

<?xml version="1.0" encoding="UTF-8"?>
<xsl:stylesheet
  version="1.0"
  xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
  xmlns="http://www.w3.org/1999/xhtml">

  <xsl:output method="xml" indent="yes" encoding="UTF-8"/>

  <xsl:template match="/persons">
    <html>
      <head> <title>Testing XML Example</title> </head>
      <body>
        <h1>Persons</h1>
        <ul>
          <xsl:apply-templates select="person">
            <xsl:sort select="family-name" />
          </xsl:apply-templates>
        </ul>
      </body>
    </html>
  </xsl:template>

  <xsl:template match="person">
    <li>
      <xsl:value-of select="family-name"/><xsl:text>, </xsl:text><xsl:value-of select="name"/>
    </li>
  </xsl:template>

</xsl:stylesheet>

with the XML input file shown above results in the following XHTML (whitespace has been adjusted here for clarity):

<?xml version="1.0" encoding="UTF-8"?>
<html xmlns="http://www.w3.org/1999/xhtml">
  <head> <title>Testing XML Example</title> </head>
  <body>
    <h1>Persons</h1>
      <ul>
        <li>Ismincius, Morka</li>
        <li>Smith, John</li>
      </ul>
  </body>
</html>

This XHTML generates the output below when rendered in a web browser.

Rendered XHTML generated from an XML input file and an XSLT transformation.

In order for a web browser to be able automatically to apply an XSL transformation to an XML document on display, an XML stylesheet processing instruction can be inserted into XML. So, for example, if the stylesheet in Example 2 above were available as "example2.xsl", the following instruction could be added to the original incoming XML:[49]

<?xml-stylesheet href="example2.xsl" type="text/xsl" ?>

In this example, text/xsl is technically incorrect according to the W3C specifications[49] (which say the type should be text/xml), but it is the only media type that is widely supported across browsers as of 2009.

See also

  • XSLT elements – a list of some commonly used XSLT structures.
  • Muenchian grouping – a dialect differential between XSLT1 and XSLT2+.
  • Extensible Stylesheet Language – a family of languages of which XSLT is a member
  • XQuery and XSLT compared
  • XSL formatting objects or XSL-FO – An XML-based language for documents, usually generated by transforming source documents with XSLT, consisting of objects used to create formatted output
  • Identity transform – a starting point for filter chains that add or remove data elements from XML trees in a transformation pipeline
  • Apache Cocoon – a Java-based framework for processing data with XSLT and other transformers.
  • Omnimark – another structured text processing language (proprietary software)
  • Xs3p – is an XSLT stylesheet that generates XHTML documentation from XML Schema Definition language (XSD) schema.

References

  1. ^ a b "Transformation". 2012-09-19.
  2. ^ "XML Output Method". 2012-09-19.
  3. ^ "Introduction". XSL Transformations (XSLT) Version 1.0 W3C Recommendation. W3C. 16 November 1999. Retrieved November 7, 2012.
  4. ^ Kepser, Stephan. "A Simple Proof for the Turing-Completeness of XSLT and XQuery". Proceedings of Extreme Markup Languages. Retrieved 28 October 2012.
  5. ^ Michael Kay. "What kind of language is XSLT?". Retrieved July 8, 2016.
  6. ^ "A Proposal for XSL". W3C. Retrieved November 7, 2012.
  7. ^ "XML and Semantic Web W3C Standards Timeline" (PDF).
  8. ^ "XSL Transformations (XSLT) Version 1.1". W3.org. 2001-08-24. Retrieved 2014-07-12.
  9. ^ "XML Path Language (XPath) 2.0 (Second Edition)". W3.org. 2010-12-14. Retrieved 2014-07-12.
  10. ^ "XSL Transformations (XSLT) Version 2.0". W3.org. 2007-01-23. Retrieved 2014-07-12.
  11. ^ "XML and Semantic Web W3C Standards Timeline" (PDF). 2012-02-04.
  12. ^ "XSL Transformations (XSLT)". W3.org. 1999-11-16. Retrieved 2014-07-12.
  13. ^ "What's New in XSLT 3.0?". w3. Retrieved 6 January 2014.
  14. ^ Kay, Michael. "A Streaming XSLT Processor". Balisage: The Markup Conference 2010 Proceedings. Retrieved 15 February 2012.
  15. ^ "Discover the Wonders of XSLT: XSLT Quirks". XSLT is a very specialized language with a distinct declarative flavor.
  16. ^ Kay, Michael. "What kind of language is XSLT?". IBM. Retrieved 13 November 2013.
  17. ^ "XSLT Definitions". XSLT declarations define a set of rules and guidelines that are applied during processing according to a predefined algorithm.
  18. ^ "RaptorXML". Retrieved 21 August 2013.
  19. ^ "Exselt XSLT Processor". Exselt. 2015-06-06.
  20. ^ "The XSLT C library for GNOME: libxslt". Retrieved 23 November 2012.
  21. ^ "The XSLT C library for GNOME: The xsltproc tool". Retrieved 23 November 2012.
  22. ^ "xsltproc man page". Retrieved 23 November 2012.
  23. ^ "New package: libxslt". Retrieved 23 November 2012.
  24. ^ "The WebKit Open Source Project - XSLT". Retrieved 2009-10-25.
  25. ^ "The XML C parser and toolkit of Gnome: Python and bindings". Retrieved 23 November 2012.
  26. ^ "XML::LibXSLT - Interface to the GNOME libxslt library". CPAN. Retrieved 23 November 2012.
  27. ^ "libxslt-ruby". Retrieved 23 November 2012.
  28. ^ "libxml". Retrieved 23 November 2012.
  29. ^ "cl-libxml2 High-level wrapper around libxml2 and libxslt libraries".
  30. ^ "TclXML". Retrieved 21 May 2013.
  31. ^ "libxml++". sourceforge.net. Retrieved 23 November 2012.
  32. ^ "Command Line Transformation Utility (msxsl.exe)". Microsoft. Retrieved 22 October 2012.
  33. ^ "Saxon Client Edition 1.0". Saxonica. Retrieved 14 August 2012.
  34. ^ "QuiXSLT » QuiX-Tool Suite". Project.inria.fr. 2013-11-14. Retrieved 2014-07-12.
  35. ^ Saxonica. "About Saxon-CE". Retrieved 2012-06-16.
  36. ^ Frameless. "Frameless XSLT/XPath 2.0 processor". Retrieved 2014-06-09.
  37. ^ Delpratt, O'Neil (June 2013). "XML on the web: is it still relevant?". XML London 2013: 35–48. doi:10.14337/XMLLondon13.Delpratt01. ISBN 978-0-9926471-0-0.
  38. ^ Broersma, Robbert; van der Kolk, Yolijn (June 2014). "Frameless for XML - The Reactive Revolution". XML London 2014: 128–132. doi:10.14337/XMLLondon14.Broersma01. ISBN 978-0-9926471-1-7.
  39. ^ "Can't read an XML and/or XSLT in Google Chrome". Stack Overflow. 2014. Retrieved 12 July 2014.
  40. ^ "Xuriella XSLT".
  41. ^ "Plexippus XPath".
  42. ^ Saxon: Anatomy of an XSLT processor - Article describing implementation & optimization details of a popular XSLT processor.
  43. ^ Lumley, John; Kay, Michael (June 2015). "Improving Pattern Matching Performance in XSLT". XML London 2015: 9–25. doi:10.14337/XMLLondon15.Lumley01. ISBN 978-0-9926471-2-4.
  44. ^ Kay, Michael; Lockett, Debbie (June 2014). "Benchmarking XSLT Performance". XML London 2014: 10–23. doi:10.14337/XMLLondon14.Kay01. ISBN 978-0-9926471-1-7.
  45. ^ "XSL Transformations (XSLT) Version 2.0". W3C. Retrieved 19 October 2012.
  46. ^ "Application Media Types". IANA. Retrieved 19 October 2012.
  47. ^ "XSLT Requirements for Viewing XML in a Browser". Microsoft. Retrieved 19 October 2012.
  48. ^ Kay, Michael (2008). XSLT 2.0 and XPath 2.0 Programmer's Reference. Wiley. p. 100. ISBN 978-0-470-19274-0.
  49. ^ a b "XSL Transformations (XSLT) Version 1.0: W3C Recommendation – Embedding Stylesheets". W3C. 16 November 1999. Retrieved 20 September 2016.

Further reading

Documentation
XSLT code libraries
  • EXSLT is a widespread community initiative to provide extensions to XSLT.
  • FXSL is a library implementing support for Higher-order functions in XSLT. FXSL is written in XSLT itself.
  • The XSLT Standard Library xsltsl, provides the XSLT developer with a set of XSLT templates for commonly used functions. These are implemented purely in XSLT, that is they do not use any extensions. xsltsl is a SourceForge project.
  • Kernow A GUI for Saxon that provides a point and click interface for running transforms.
  • xslt.js – Transform XML with XSLT JavaScript library that transforms XML with XSLT in the browser.