Bogus assertions in 3.1.3?

Hi all,

I was just reviewing the CR issue resolutions wrt. their impact on the
RDF mapping and I noticed what I think are bogus assertions in section
3.1.3 or part 1 [1].

In particular, it says that "An element attribute information item MUST
NOT refer to a global xs:simpleType or xs:complexType definition." and
"A constraint attribute information item MUST NOT refer to a global
xs:element definition."

First, I think that the "an element AII" and "a constraint AII" (should
be EII) should use the definite article "the element AII" and "the
constraint EII" with links to the proper part of the text.

But, I want to say that these assertions should be removed because they
give pose constraints that can never be violated.

In particular, the element AII refers, by definition, to an element
declaration, and in XML Schema the symbol spaces for element
declarations and type definitions are disjoint, therefore the element
AII cannot refer to a type definition. Even if there is a WSDL file that
contains a schema that defines a type ex:foo and declares no element
with such a name, if a message reference has element="ex:foo" on it,
this will result in "element declaration ns:foo not found" problem, not
in "ns:foo is a type defn not an element decl" problem.

Same for the constraint EII, just flip the element decls and type defns.

The assertions are not directly harmful, but indirectly they may confuse
the reader to have the wrong image of how Schema works.

I suggest we simply remove the two assertions from 3.1.3.

Jacek

[1] http://dev.w3.org/cvsweb/~checkout~/2002/ws/desc/wsdl20/wsdl20.html?content-type=text/html;%20charset=utf-8#references-definitions

Received on Tuesday, 14 March 2006 19:21:15 UTC