[xsl] Re: [Bulk] Re: [xsl] XPath "validation"

Subject: [xsl] Re: [Bulk] Re: [xsl] XPath "validation"
From: "Anthony B. Coates (XSL-List)" <abcoatesecure-xsllist@xxxxxxxxxxx>
Date: Thu, 08 Dec 2011 12:56:40 -0000
I did, but never fully finished it, in the sense that it works for a lot of Schemas, but not fully for some of the more complex examples that I have (e.g. FpML).

I'm not sure if 'xmlzebra.com' is still working, but if anyone is interested to try it out, please do let me know (abcoates.work @ yahoo.co.uk) and I will keep it live. Any feedback would be very welcome.

Thanks, Cheers, Tony.

On Tue, 06 Dec 2011 15:38:39 -0000, Wolfgang Laun <wolfgang.laun@xxxxxxxxx> wrote:

Anthony B. Coates presented "'Full Impact' Schema differencing" at XML
Prague 2010. It uses a thing called XML Zebra, available from
http://www.xmlzebra.com, to generate all XPaths from an XML Schema.

-W

On 06/12/2011, Norm Birkett <Norm.Birkett@xxxxxxxxx> wrote:
Given

(1) an XML schema (expressed in any schema language, though my strong
preference would be RNG/C)

and

(2) an XPath path expression (whether XPath 1.0 or 2.0),

it should be possible to compute the "possibility" of the path expression's
finding anything in an XML document that is valid under the schema,
understood as one of the three following values:


* Guaranteed
* Possible
* Impossible

Question: Does there exist any software to compute "possibility" in this
way? Or anything like it? Or anything like it for any other restricted set
of XPath expressions?


Related question: Does there exist software that infers schema information
from XPath expressions?


"Software" here doesn't have to be commercial, or much more than just some
researcher's script collection. :)


Norm Birkett



--
Anthony B. Coates
Director and CTO
Londata Ltd
UK: +44 (20) 8816 7700, US: +1 (239) 344 7700
Mobile/Cell: +44 (79) 0543 9026
Data standards participant: genericode, ISO 20022 (ISO 15022 XML), UN/CEFACT, MDDL, FpML, UBL.
http://www.londata.com/


Current Thread