An '''XML transformation languagelanguages''' is aare [[programming language]] s designed specifically to transformcreate an '' input''output [[XML ]] document '' based intoon an '' output''input XML document ''. which satisfies some specific goal.▼{{Citations missing|date=July 2011}}
{{Data transformation}}
[[Image:XML To XML Transformation.png|thumb|right|300px|An XML to XML transformation]]
<!-- TODO: ImageNode -->
▲An '''XML transformation language''' is a [[programming language]] designed specifically to transform an ''input'' [[XML]] document into an ''output'' XML document which satisfies some specific goal.
== Existing languages == ▼There are two special cases of transformation:
* '''XML to XML''': the ''output document'' is an XML document.
* '''XML to Data''': the ''output document'' is a byte stream.
; ''' [[XSLT ]]''' : [[XSL Transformations|XSLT ]] is the best known XML transformation language. The XSLT 1.0 W3C recommendation was published in 1999 together with [[XPath]] 1.0, and it has been widely implemented since then. XSLT 2.0 hasis expected to be released becomesoon as a W3C recommendation sinceand January 2007 andearly implementations of the specification like [ [Saxonhttp://saxon.sourceforge.net/ XSLT|SaxonSAXON 8]7] are already available. ▼==XML to XML==
; ''' [[XML_query_language|XQuery ]]''' : [[XQuery ]] is aalso fullbound functionalto language, despite having "query" in the name. It isbecome a de-factoW3C standard used by Microsoft, Oracle, DB2, Mark Logic, etc. , is the foundation for the [[XRX (web application architecture)|XRX]] web programming model, and has a W3C recommendation for versions 1.0. XQuery is not written inan XML itselfapplication, like XSLT . is, soConsequently its syntax is much lighter. The language is based on XPath 2.0. XQuery programs cannot have [[ Side effect (computer science)|side- effectseffect]] s, just like XSLT and provides almost the same capabilities (for instance: declaring variables and functions, iterating over sequences, using W3C schema types), even though the program syntax are quite different. In XQueryaddition isto logicthe drivensyntax, usingthe FOR,main WHEREdifference andbetween functionXSLT compositionand (e.g.XQuery fn:concat("<html>",is generate-body(), "</html>")). In contrast,the XSLT is data-driven (push processing model ), where certain conditions of the input document trigger the execution of templates , ratherwhich thanis thenot codeshared executingwith in the order in which it is writtenXQuery. ▼As '''XML to XML''' transformation outputs an XML document, '''XML to XML''' transformation chains form [[XML pipeline]]s.
; ''' [[STX ]]''' : [[Streaming Transformations for XML|STX ]] (Streaming Transformations for XML) is inspired by XSLT but has been designed to allow a one-pass transformation process that never prevents streaming. Implementations are available in Java ([http://joost.sourceforge.net/ Joost]) and Perl ([http:// wwwstx.gingerall. comcz/ charlie/gastx/xml -stx/ p_stxindex. xml?s=orghtml XML::STX]). ▼
; '''[[FTX]]''' A Functional XML Transformation Tool, implementated in [[ML_programming_language|Standard ML]].
==XML to Data==
; ''' XDuce''': [[XDuce]] ''' is: aA typed language with a lightweight syntax , (compared to XSLT ). ItThe implementation is written in [[ML_programming_language|ML ]]. ▼The '''XML to Data''' transformation contains some important cases. The most notable one is '''XML to HTML''', as an [[HTML]] document ''is not'' an XML document.
; ''' HaXml''': [[HaXml]] ''' is: aA library and collection of tools to write XML transformations in [[Haskell (programming language)|Haskell]]. Its approach is very consistent and powerful. Also see [http://www.cs.york.ac.uk/fp/HaXml/ this paper about HaXml published in 1999] and [http://www-106.ibm.com/developerworks/xml/library/x-matters14.html this IBM developerWorks article] . See also the more recent [http://www.flightlab.com/~joe/hxml/ HXML] and Haskell XML Toolbox ([http://www.fh-wedel.de/~si/HXmlToolbox/ HXT]), which is based on the ideas of HaXml and HXML but takes a more general approach to XML processing. ▼
; '''[[XMLLambda]]''' : XMLLambda is described in a paper by Erik Meijer and Mark Shields. The paper was written in 1999 no implementation is available.
▲; '''XSLT''': [[XSL Transformations|XSLT]] is the best known XML transformation language. The XSLT 1.0 W3C recommendation was published in 1999 together with [[XPath]] 1.0, and it has been widely implemented since then. XSLT 2.0 has become a W3C recommendation since January 2007 and implementations of the specification like [[Saxon XSLT|Saxon 8]] are already available.
▲; '''XQuery''': [[XQuery]] is a full functional language, despite having "query" in the name. It is a de-facto standard used by Microsoft, Oracle, DB2, Mark Logic, etc., is the foundation for the [[XRX (web application architecture)|XRX]] web programming model, and has a W3C recommendation for versions 1.0. XQuery is not written in XML itself like XSLT is, so its syntax is much lighter. The language is based on XPath 2.0. XQuery programs cannot have [[Side effect (computer science)|side-effects]], just like XSLT and provides almost the same capabilities (for instance: declaring variables and functions, iterating over sequences, using W3C schema types), even though the program syntax are quite different. XQuery is logic driven, using FOR, WHERE and function composition (e.g. fn:concat("<html>", generate-body(), "</html>")). In contrast, XSLT is data-driven (push processing model) where certain conditions of the input document trigger the execution of templates rather than the code executing in the order in which it is written.
; '''XProc''': [[XProc]] is an XML Pipeline language. The XProc 1.0 W3C Recommendation was published in May 2010.
▲; '''STX''': [[Streaming Transformations for XML|STX]] (Streaming Transformations for XML) is inspired by XSLT but has been designed to allow a one-pass transformation process that never prevents streaming. Implementations are available in Java ([http://joost.sourceforge.net/ Joost]) and Perl ([http://www.gingerall.com/charlie/ga/xml/p_stx.xml?s=org XML::STX]).
; '''XML Script''': [[XML Script]] is an imperative scripting language inspired by [[Perl]] that uses the XML syntax. XML Script supports [[XPath]] and its proprietary DSLPath for selecting nodes from the input tree.
; '''FXT''': [[FXT]] is a functional XML transformation tool, implemented in [[ML (programming language)|Standard ML]].
▲; '''XDuce''': [[XDuce]] is a typed language with a lightweight syntax, compared to XSLT. It is written in ML.
; '''CDuce''': [[CDuce]] extends [[XDuce]] to a general-purpose [[functional programming language]], see [http://www.cduce.org/ CDuce homepage].
; '''XStream''': [[XStream]] is a simple functional transformation language for XML documents based on CAML. XML transformations written in XStream are evaluated in streaming: when possible, parts of the output are computed and produced while the input document is still being parsed. Some transformations can thus be applied to huge XML documents which would not even fit in memory. The XStream compiler is distributed under the terms of the [[CeCILL]] [[free software license]].
; '''Xtatic''': [[Xtatic]] applies methods from [[XDuce]] to [[C Sharp (programming language)|C#]], see [http://www.cis.upenn.edu/~bcpierce/xtatic/ Xtatic homepage].
▲; '''HaXml''': [[HaXml]] is a library and collection of tools to write XML transformations in [[Haskell (programming language)|Haskell]]. Its approach is very consistent and powerful. Also see [http://www.cs.york.ac.uk/fp/HaXml/ this paper about HaXml published in 1999] and [http://www-106.ibm.com/developerworks/xml/library/x-matters14.html this IBM developerWorks article]. See also the more recent [http://www.flightlab.com/~joe/hxml/ HXML] and Haskell XML Toolbox ([http://www.fh-wedel.de/~si/HXmlToolbox/ HXT]), which is based on the ideas of HaXml and HXML but takes a more general approach to XML processing.
; '''XMLambda''': XMLambda (XMλ) is described in a 1999 paper by [[Erik Meijer (computer scientist)|Erik Meijer]] and [[Mark Shields (computer scientist)|Mark Shields]]. No implementation is available. See [http://www.cartesianclosed.com/pub/xmlambda/ XMLambda home page].
; '''FleXML''': [[FleXML]] is an XML processing language first implemented by Kristofer Rose. Its approach is to add actions to an XML [[Document Type Definition|DTD]] specifying processing instructions for any subset of the DTD's rules.
; '''Scala''': [[Scala (programming language)|Scala]] is a general-purpose functional and object-oriented language with specific support for XML transformation in the form of XML pattern matching, literals, and expressions, along with standard XML libraries.
; '''LINQ to XML''': [[LINQ to XML]] is a .NET 3.5 syntax and programming API available in C#, VB and some other .NET languages. LINQ is primarily designed as a query language, but it also supports XML transforms.
==See also==
* [[Filter (software)]]
* [[Filter (Unix)]]
* [[Web template]]
* [[Web template system]]
* [[Template engine (web)]]
{{DEFAULTSORT:Xml Transformation Language}}
[[Category:XML-based standards]]
[[Category:Transformation languages|*]]
[[fr:Langage de transformation XML]]
[[ja:XML変換言語]]
| 