> Are you talking about validating an ad-hoc transform or letting the user
> select one from a generated set of possible valid transforms?
Possibly the former, but I'm not sure what you mean.
> My experience generating XSLT type taggers from XSDL suggests that using
> XSLT modes to represent FSM states can make this area rather more
> tractable than I, for one, had expected.
and very nice that tagger is too:-)
But that is doing a much easier job, that is type tagging an instance
document.
The claim here was that one could take a transform (in Xquery or perhaps
XSLT) and typecheck that it forms a function from the set of documents
of type specified in schema-1 (say docbook) to the set of documents of
type specified in schema-2 (say XHTML).
David
_____________________________________________________________________
This message has been checked for all known viruses by Star Internet
delivered through the MessageLabs Virus Scanning Service. For further
information visit http://www.star.net.uk/stats.asp or alternatively call
Star Internet for details on the Virus Scanning Service.
