Improved Example of Z Notation

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/

Received on Thursday, 30 September 2004 15:01:41 UTC