RE: Contradictions regarding transitivity of wsdl:import

+1

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, text: 4169395063@fido.ca
intranet: http://labweb.torolab.ibm.com/DRY6/



"Martin Gudgin" <mgudgin@microsoft.com> 
Sent by: www-ws-desc-request@w3.org
04/15/2005 11:47 AM

To
Arthur Ryman/Toronto/IBM@IBMCA, "David Booth" <dbooth@w3.org>
cc
<www-ws-desc@w3.org>, <www-ws-desc-request@w3.org>
Subject
RE: Contradictions regarding transitivity of wsdl:import






I think that part of the problem with answering this question is that 
there is a difference between the components that are in the component 
model and the components that are ?visible? to other components. If I have 
three WSDL documents, A, B and C in three separate namespaces and A 
imports B and B imports C, then Arthur is correct that the component model 
for A includes components from all three namespaces. However, the 
components defined in namespace A can only ?see? components defined in 
namespace B. They can?t ?see? components in namespace C.
 
Gudge
 

From: Arthur Ryman [mailto:ryman@ca.ibm.com] 
Sent: Friday, April 15, 2005 8:42 AM
To: David Booth
Cc: Martin Gudgin; www-ws-desc@w3.org; www-ws-desc-request@w3.org
Subject: RE: Contradictions regarding transitivity of wsdl:import
 

David, 

I disagree. Imports are not for the same namespace. All components get 
added to the component model, not just those in the same namespace. The 
<wsdl:import> statement is just an assertion that the definitions in the 
current document refer to some other namespace. 

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, text: 4169395063@fido.ca
intranet: http://labweb.torolab.ibm.com/DRY6/ 


David Booth <dbooth@w3.org> 
Sent by: www-ws-desc-request@w3.org 
04/14/2005 09:36 PM 


To
Martin Gudgin <mgudgin@microsoft.com> 
cc
www-ws-desc@w3.org 
Subject
RE: Contradictions regarding transitivity of wsdl:import
 


 
 





I think I've located the problem.  Sec 4.2 says:
[[
Components in directly imported descriptions are part of the component
model of the importing description.
]]
In the A-imports-B-imports-C example, if I'm determining what components
A imports from B, "the importing description" in the above sentence
would be A and the "directly imported descriptions" of A would be {B}. 
Substituting these into the sentence above yields:
[[
Components in {B} are part of the component model of the A.
]]
which is *not* what we want, since the components in B clearly include
components that originated from C (which would thus make import
transitive), whereas we only want those components in B that
*originated* from B (i.e., non-transitive).

I think 4.2 needs to be changed to say something like:
[[
Each component in the {interfaces}, {bindings} or {service} property of
the imported document is added to the {interfaces}, {bindings} or
{service} property of the importing document (respectively), if and only
if the namespace part of the {name} property of that component is
identical to the value of the namespace attribute information item of
the import element information item.  In other words, only those
components that are "in the namespace" that was specified in the
namespace attribute information item of the import element information
item are imported.
]]

The editors may be able to come up with a simpler (but still accurate)
way of expressing that, but I think it captures the intended effect, of
causing import be non-transitive.

-- 

David Booth
W3C Fellow / Hewlett-Packard