Re: Improved Example of Z Notation

Hi, Arthur

I am using IE 6 on Windows XP and am still have troubles of reading your 
file.  Here is the screen shot I got. 

PS: I also try to use the "Lucida San Unicode" font and it still shows the 
same "e" instead of "=>" arrow.


Helen






Arthur Ryman <ryman@ca.ibm.com>
Sent by: www-ws-desc-request@w3.org
30/09/2004 11:00 AM

 
        To:     www-ws-desc@w3.org
        cc:     (bcc: Helen Chen/AMPJB/CAN/AGFA/CA/BAYER)
        Subject:        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 Monday, 4 October 2004 09:46:01 UTC