Re: Markup for testable assertions

On Thu, 27 Mar 2003 02:16:47 +0600
Sanjiva Weerawarana <sanjiva@us.ibm.com> wrote:
> Oh ok .. so we're not talking about writing the assertions in a
> machine-processable manner?

Is there a way to do so?  I could see the utility of doing so, I just
have doubts about the practicality of implementing it.

Amy!

> 
> Sanjiva.
> 
> 
> "Amelia A. Lewis" <alewis@tibco.com> on 03/27/2003 02:13:28 AM
> 
> To:    Sanjiva Weerawarana/Watson/IBM@IBMUS
> cc:    mgudgin@microsoft.com, moreau@crf.canon.fr,
>        jeffsch@windows.microsoft.com, roberto.chinnici@sun.com,
>        www-archive@w3.org
> Subject:    Re: Markup for testable assertions
> 
> 
> 
> On Thu, 27 Mar 2003 02:10:38 +0600
> Sanjiva Weerawarana <sanjiva@us.ibm.com> wrote:
> > I'm sorry but I'm having an understanding gap: can someone give an
> example
> > of a simple testable assertion?
> 
> The [namespace name] of such &AII;s MUST NOT be
> <attval>&wsdl-ns;</attval>.
> 
> Easy to test.  A search for "MUST" or "SHOULD" gives additional
> examples.
> 
> Note that not all examples are good examples of testable assertions. 
> But the SHOULD be.  ;-)
> 
> Amy!
> --
> Amelia A. Lewis
> Architect, TIBCO/Extensibility, Inc.
>  alewis@tibco.com
> 
> 


-- 
Amelia A. Lewis
Architect, TIBCO/Extensibility, Inc.
alewis@tibco.com

Received on Wednesday, 26 March 2003 15:29:26 UTC