RE: [xsl] Static Validation of XSL Transformations

Subject: RE: [xsl] Static Validation of XSL Transformations
From: "Colin Adams" <colinpauladams@xxxxxxxxxxx>
Date: Tue, 06 Mar 2007 21:01:53 +0000
From: Anders Mxller <amoeller@xxxxxxxx>
Given an XSLT 2.0 stylesheet, S, and two schemas, D_in and D_out, the
tool is able to check statically that all output of S at runtime is
valid according to D_out assuming that the input is valid according to
D_in. Additionally, the tool produces a flow graph of S. Schemas are
written in either DTD, XML Schema, or Restricted RELAX NG.
A research paper describing the analysis is also available from the web

That was very interesting.

Does it cope with doc/document/collection functions? I couldn't work out from your paper how it would do that.

Exclusive Ed Byrne daily comedy clips on MSN Video

Current Thread