W3C home > Mailing lists > Public > public-xsd-databinding@w3.org > March 2007

Re: untestable assertions

From: Paul Fremantle <paul@wso2.com>
Date: Tue, 20 Mar 2007 13:45:30 +0000
Message-ID: <45FFE57A.600@wso2.com>
To: paul.downey@bt.com
CC: public-xsd-databinding@w3.org

I'm significantly concerned at the philosophical implications of 
untestable assertions. I suggest we need to address the 
http://en.wikipedia.org/wiki/Falsifiability of the whole realm :-)

Paul

paul.downey@bt.com wrote:
> 
> In our document text, we have a number of assertions which aren't readily expressible as an XPath expression. Jon's latest constraint to disallow cyclic references being one, requiring UTF-8/UTF-16 being another.
> 
> Something we could consider is adding assertions as placeholders to our pattern detector, as suggested by Rick, here:
> 
> http://www.oreillynet.com/xml/blog/2007/03/expressing_untested_and_untest.html
> 
> Paul
> 
> 

-- 
Paul Fremantle
VP/Technology and Partnerships, WSO2
OASIS WS-RX TC Co-chair

http://bloglines.com/blog/paulfremantle
paul@wso2.com
(646) 290 8050

"Oxygenating the Web Service Platform", www.wso2.com
Received on Tuesday, 20 March 2007 13:45:41 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 18 December 2010 18:20:37 GMT