Re: Improved Example of Z Notation

Helen,

Can you please check your installed fonts? You need Symbol, Math A, Math 
B, and Math C. Maybe they get installed with Microsoft Office?

To see what fonts you have installed, open Control Panel -> Fonts

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/



Helen Chen <helen.chen@agfa.com> 
09/30/2004 12:41 PM

To
Arthur Ryman/Toronto/IBM@IBMCA
cc
www-ws-desc@w3.org
Subject
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/