Assertions required for interface op and fault ref?

[John Kaputin <KA...@uk.ibm.com>]

Lawrence,
I did a quick search on "MUST" in the Part1 spec and found these rules that
don't appear to be defined as assertions yet. Do you think they should be?
I can post to www-ws-desc if you agree.

<<<Interface Operation>>>

For {message exchange pattern} and {style} ...
This xs:anyURI MUST be an absolute IRI (see [IETF RFC 3987]).

The type of the pattern attribute information item is xs:anyURI. Its value
MUST be an absolute IRI (see [IETF RFC 3987]).

The type of the style attribute information item is list of xs:anyURI. Its
value MUST be an absolute IRI (see [IETF RFC 3987]).

For these URI rules, similar asserts exist for other elements - e.g.
Interface-0031.

<<<InterfaceFaultReference>>>

The messageLabel attribute information item MUST be present in the XML
representation of an Interface Fault Reference component with a
given {direction} if the {message exchange pattern} of the parent Interface
Operation component has more than one fault with that direction.

For this messageLabel rule, a similar assert exists in
InterfaceMessageReference-0040.

regards,
John Kaputin


---------------------------------------------------------------------
To unsubscribe, e-mail: woden-dev-unsubscribe@ws.apache.org
For additional commands, e-mail: woden-dev-help@ws.apache.org