[dsdl-discuss] Re: Pre Ann: xvif (XML Validation Interoperability Framework)

It seems to me that you are changing the semantics of RELAX NG. Let's take
your example of

<element xmlns="http://relaxng.org/ns/structure/1.0" name="foo">
  <list>
    <if:transform
       xmlns:if='http://namespaces.xmlschemata.org/xvif/iframe'

       type='http://namespaces.xmlschemata.org/xvif/regexp'
       apply='s/,/ /'/>
    <oneOrMore>
      <choice>
        <value>foo</value>
        <value>bar</value>
      </choice>
    </oneOrMore>
  </list>
</element>

Now, you say the instance

  <foo>foo,bar</foo>

is valid wrt to this schema, but RELAX NG defines a semantics for the above
schema and according to the RELAX NG semantics the instance is not valid
wrt to that schema. I don't think a framework has any business changing
the semantics of the languages it is combining.

What you are really proposing, it seems to me, is an extension to RELAX NG.
Just as RELAX NG schemas can now appeal to datatype libraries whose
semantics are not defined by RELAX NG, so your proposal would allow them to
appeal to transformations whose semantics are not defined by RELAX NG.
There would be a new pattern something like

  <transform>T P</transform>

where T is a specification of a transform in some format not defined by
RELAX NG, and P is a RELAX NG pattern. A sequence of attributes and
elements s is valid wrt

  <transform>T P</transform>

if and only if T(s) is valid wrt to P (where T(s) is the result of applying
T to s).

To summarize, I think what you are proposing needs a hook in RELAX NG to
accomodate it.

James

--
DSDL members discussion list
To unsubscribe, please send a message with the
command  "unsubscribe" to dsdl-discuss-request@dsdl.org
(mailto:dsdl-discuss-request@dsdl.org?Subject=unsubscribe)