Proposal to Add Markup for Constraints (aka Test Assertions)

We are going to discuss the Test Suite tomorrow. As preparation for the 
discussion, I want to propose that the editors add markup to the specs for 
contraints. The reason for this proposal is to provide a normative list of 
constraints that WSDL 2.0 documents, messages, and exchanges must satisfy. 
This list would lets us assess the coverage of our Test Suite. It would 
also provide standard identifies that validators could use in error 
messages.

The precedent for this markup is the XSD spec, e.g. [1] is a list of 
constrainsts. Each contraint links to part of the spec, e.g. [2]

The precise syntax and rendering of the markup is an editorial work item 
which I volunteer to do. The existing text in the spec would be tagged and 
a summary table would be generated and added as an appendix. Some minor 
editing might be required. We should provide this list as input to the CR 
phase.

[1] http://www.w3.org/TR/xmlschema-1/#outcome-cos
[2] http://www.w3.org/TR/xmlschema-1/#a-props-correct

Arthur Ryman,
Rational Desktop Tools Development

phone: +1-905-413-3077, TL 969-3077
assistant: +1-905-413-2411, TL 969-2411
fax: +1-905-413-4920, TL 969-4920
mobile: +1-416-939-5063, text: 4169395063@fido.ca
intranet: http://labweb.torolab.ibm.com/DRY6/