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