- From: Arthur Ryman <ryman@ca.ibm.com>
- Date: Fri, 24 Nov 2006 15:51:01 -0500
- To: Lawrence Mandel <lmandel@ca.ibm.com>
- Cc: www-ws-desc@w3.org, www-ws-desc-request@w3.org
- Message-ID: <OFB9490F15.DE14C5AF-ON85257230.007205CC-85257230.007288C6@ca.ibm.com>
Lawrence,
Good catch. Yes. These are logically equivalent. They are both equivalent
to the more symmetric assertion:
The messageLabel attribute information item of a binding message reference
element information item MUST be present or there MUST be a unique
placeholder message with {direction} equal to the message direction.
This is therefore editorial. I'll replace these assertions by the
symmetrical version.
Arthur Ryman,
IBM Software Group, Rational Division
blog: http://ryman.eclipsedevelopersjournal.com/
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
Lawrence Mandel/Toronto/IBM@IBMCA
Sent by: www-ws-desc-request@w3.org
11/14/2006 01:32 PM
To
www-ws-desc@w3.org
cc
Subject
Do MessageLabel-0006 and MessageLabel-0014 state the same requirement?
MessageLabel-0006 states
The messageLabel attribute information item of a binding message reference
element information item MUST be present if the message exchange pattern
has more than one placeholder message with {direction} equal to the
message direction. ?
MessageLabel-0014 states
If the messageLabel attribute information item of a binding message
reference element information item is absent then there MUST be a unique
placeholder message with {direction} equal to the message direction. ?
The way I read these assertions the first states the requirement for a
message label in terms of the binding message reference and the second
states the requirement in terms of the interface message reference.
Do these two assertions state the same requirement?
Thanks,
Lawrence Mandel
Software Developer
IBM Rational Software
Phone: 905 - 413 - 3814 Fax: 905 - 413 - 4920
lmandel@ca.ibm.com
Received on Friday, 24 November 2006 20:51:16 UTC