I improved the example [1] to show more accurately how the spec would
look with Z Notation added[2].
The difference in this example is the the large Z box named
DefinitionsComponent has been split into 2 Z boxes, DefinitionsComponent
and DefinitionsComponent1, and the second part has been moved to follow
the spec text that it expresses, in this case the requirement that the top
level components MUST have unique QNames.
BTW, in reading the spec text I noticed that it wasn't quite correct. The
spec says:
That is, if two distinct components of the same kind (Interface, Binding
etc.) are in the same target namespace, then their QNames MUST be unique.
but it really should say
That is, if two distinct components of the same kind (Interface, Binding
etc.) are in the same Definitions component, then their QNames MUST be
unique.
[1]http://dev.w3.org/cvsweb/~checkout~/2002/ws/desc/wsdl20/wsdl20-z.xml#Definitions_details
[2]http://dev.w3.org/cvsweb/~checkout~/2002/ws/desc/wsdl20/wsdl20-z-1.xml#Definitions_details
Here are screenshots:
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
intranet: http://labweb.torolab.ibm.com/DRY6/