Cart
[Home] [By Thread] [By Date] [Recent Entries]
> 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.
|
