Re: Markup for testable assertions

Oh ok .. so we're not talking about writing the assertions in a
machine-processable manner?

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