W3C home > Mailing lists > Public > www-ws-desc@w3.org > September 2004

Improved Example of Z Notation

From: Arthur Ryman <ryman@ca.ibm.com>
Date: Thu, 30 Sep 2004 11:00:57 -0400
To: www-ws-desc@w3.org
Message-ID: <OF6FAC1135.38F4D741-ON85256F1F.0051B0A7-85256F1F.00527B49@ca.ibm.com>
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/

picture
(image/gif attachment: 01-part)

picture
(image/gif attachment: 02-part)

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

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:32 GMT