OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

wsbpel message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]


Subject: RE: [wsbpel] Using RelaxNG


Ugo,

On Mon, 2004-04-19 at 12:48, Ugo Corda wrote:
> Maciej,
> 
> Wouldn't that imply that a BPEL implementation would have to support
> both an XSD validator AND a RelaxNG validator?
> 
> Ugo
Absolutely. XSD validation would still be needed for what in BPEL passes
as type checking (both at run-time and in static-analysis). RelaxNG
would be needed at "compile time" to check the syntax of the language.
This is in line with the common decomposition of a language
specification into lexical grammar (roughly ~ XML), syntactic grammar (~
RelaxNG/XSD+post-parse checking), type system (~ XSD+rules), and
execution semantics(~ shared sub-conscious understanding). 

Perhaps others disagree, but I do not think it is remotely practical or
desirable to change the typing scheme considering the close association
between WSDL and XSD (not to mention the reality on the ground). 

-maciej



[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]