Presentation: "Xact: XML in Java"
Tuesday 14:00 - 14:45, Protected Room
XML documents generated dynamically by programs are typically represented as text
strings or DOM trees. This is a low-level approach for several reasons:
- Traversing and modifying such structures can be tedious and error prone;
- Although schema languages, e.g. DTD, allow classes of XML documents to be defined,
there are generally no automatic mechanisms for statically checking that a program
transforms from one class to another as intended.
We introduce Xact, a high-level approach for Java using XML templates as a
first-class data type with operations for manipulating XML values based on XPath.
In addition to an efficient runtime representation, the data type permits static
type checking using DTD schemas as types. By specifying schemas for the input and
output of a program, our algorithm will statically verify that valid input data is
always transformed into valid output data and that no errors occur during processing.
Xact is freely available as a stand-alone, open-source product:
http://www.brics.dk/Xact.
Xact: XML in Java - (slides)
Please notice that the slides are password protected. You should have received an e-mail containing the required username and password.
