Re: Request for XSLT2.0 / XML Schema triples

Hi Soren,

Having public access to your analyser will be very useful.

It seems to be a kind of type-inference engine. I wonder whether
Michael Kay is not already doing something like this (of course I
can't know as I've never tried his SA Saxon).

It is interesting whether such kind of type inference can be done
statically, or if it generally requires dynamic analysis.

One example is:

  <xsl:function name="f:foo" as="item()*">

    <!-- Code, producing *always* a non-empty sequence of elements -->

  </xsl:function>


Will your analyser confirm the fact that f:foo() is producing element()+  ?


--
Cheers,
Dimitre Novatchev
---------------------------------------
To avoid situations in which you might make mistakes may be the
biggest mistake of all.



On 11/29/05, Soren Kuula <dongfang@xxxxxxxxxxx> wrote:
> Hi,
>
> I'm working on a static analysis program (thesis!) that will take a
> _triple_ of
>
> - an input schema (DTD og XML Schema)
> - an otuput schema (DTD og XML Schema)
> - an XSL stylesheet
>
> -- and then return a conservatively approximate verdict whether
>   - given input documents that are valid by the input schema, will the
> transform always output docuements that are valid by the output schema?
>
> Previous experiments with DTD and XSLT1.0 only revealed that this
> analysis is feasible with good accuracy.
>
> Now, I'm feverishly looking for real-life triples of XSD schema and XSLT
> 1 or 2 transforms that I can test run my analyzer on.
>
> Do any of you guys know some examples? That is, I need names of
> publically available (of available upon request) schema and XSL
> transforms, such that I have a schema specifying the input of the
> transform, and a schema specifying the (expected) output of the
> transform. Same schema input and output is OK, too. DTD on one side is
> OK, too. XSLT2.0 transforms that make use of XSD specific stuff are
> particularly interesting.
>
> If I can get it all finished in time (or if anyone is particularly
> interested) I can make the analyzer available online.
>
> Thanks for any suggestions.
>
> Soren