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

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 http://specials.uk.msn.com/edbyrne/

Current Thread
[xsl] Static Validation of XSL Transformations Anders Møller - Tue, 06 Mar 2007 13:54:17 +0100 Colin Adams - Tue, 06 Mar 2007 21:01:53 +0000 <= Michael Kay - Tue, 6 Mar 2007 22:44:31 -0000 Geert Bormans - Sat, 24 Mar 2007 08:22:04 +0100 Mukul Gandhi - Sat, 24 Mar 2007 13:23:52 +0530 Message not available Geert Bormans - Sat, 24 Mar 2007 10:02:45 +0100

<- Previous	Index	Next ->
[xsl] Static Validation of XSL Tran, Anders Møller	Thread	RE: [xsl] Static Validation of XSL , Michael Kay
[xsl] Ideas/Panelist for XSLT Panel, Lindsey Simon	Date	[xsl] for-each-group usage, Angela Williams
	Month

Keywords

xml schema
xslt

	XML Editor \| XML Author \| WYSIWYG Editors \| Schema Editor \| XSD Documentation \| XSL/XSLT Editor \| XQuery \| XML Databases \| SVN Client © 2002-2011 SyncRO Soft Ltd. All rights reserved. \| Sitemap \| Privacy Policy \| This website was created & generated with <oXygen/>®XML Editor

xml editor

RE: [xsl] Static Validation of XSL Transformations