BRICS, Department of Computer Science, Aarhus University, Denmark.
Time: Wednesday 13.4.2005, 14:30
Place: Room A4-106, Fr. Bajersvej 7
*/"XSugar: Reversible Stylesheets"/*
XSLT stylesheets may be used to provide an alternative and more legible
syntax for XML documents. However, such transformations are not
reversible since no tool exists to automatically parse the alternative
syntax back into XML.
We present *XSugar* (
http://www.brics.dk/xsugar/), which is a reversible
stylesheet language for XML. An XSugar specification is built around a
context-free grammar for the alternative syntax and gives a
template-based translation into XML. The XSugar tool can then provide
The well-formedness of both translations are statically checked.
- a static guarantee that all XML documents generated from
alternative syntax are valid according to a given XML schema;
- a translation from alternative syntax into XML; and
- a reverse translation from XML into alternative syntax (provided
certain injectivity requirements are satisfied).
Thus, XSugar is useful for providing an /XML/ syntax for an existing
language or for providing an alternative syntax for an existing XML
This is on-going joint work with Anders Møller
and Michael Schwartzbach.