Static Validation of XSL Transformations

Play the video

Subject: Static Validation of XSL Transformations
From: Anders Møller <amoeller@xxxxxxxx>
Date: Tue, 06 Mar 2007 13:54:17 +0100

An online version of our XSLT analysis tool is now available at

http://www.brics.dk/XSLV/

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
site.

--
Anders Moeller
amoeller@xxxxxxxx
http://www.brics.dk/~amoeller

Current Thread
Static Validation of XSL Transformations Anders Møller - 6 Mar 2007 12:54:39 -0000 <= Colin Adams - 6 Mar 2007 21:02:30 -0000 Michael Kay - 6 Mar 2007 23:04:36 -0000

<- Previous	Index	Next ->
Re: Replacing matching values, David Carlisle	Thread	RE: Static Validation of XSL , Colin Adams
Re: Replacing matching values, David Carlisle	Date	Fwd: Removing blank lines in , Greg Groves
	Month

PURCHASE STYLUS STUDIO ONLINE TODAY!

Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Subscribe in XML format

RSS 2.0
Atom 0.3

XML Editor - Download a 15 Day Free Trial Now >

See What's New in Stylus Studio >

Buy Stylus Studio - XML Editor - Now >