Le vendredi 03 février 2006 à 10:46 +0100, Stephane Bortzmeyer a écrit :
> J'apprécie beaucoup Examplotron (http://examplotron.org/), je trouve
> que, lors des sessions de "brainstorming" sur un nouveau langage, on
> travaille mieux sur des exemples de documents XML que sur des schémas.
>
> Mais je rencontre un paradoxe : on ne peut pas valider le document
> exemple lui-même car il contient typiquement des attributs du
> namespace d'Examplotron et le schéma RelaxNG produit ne les autorise
> pas.
>
> Si j'ai :
>
> <contact publish="true" xmlns:eg="http://examplotron.org/0/">
> <name>Renard</name><firstname>Annie</firstname>
> <email>ar@nic.fx</email>
> <phone eg:occurs="?">+33 1 39 30 00 41</phone>
> </contact>
>
> Ce document ne peut pas être validé par le schéma produit par
> Examplotron :
>
> % rnv examplotron-schema.rnc example.xml
> example.xml
> example.xml:17:5: error: attribute http://examplotron.org/0/^occurs not allowed
> required:
> after
> allowed:
> text
>
> [Ce n'est pas une bogue de rnv, xmllint fait pareil et, en regardant
> le schéma RelaxNG produit, ils ont raison.]
>
> Est-ce normal ?
Disons que c'est voulu :-) ...
Le problème est que, dès que l'on quitte le domaine des "100% iconiques"
pour reprendre la métaphore utilisée par Examplotron, considérer que le
schéma correspond à une instance valide pose pas mal de problème.
Par exemple, si le "schéma" est :
<book nbpages="{xsd:integer}"/>
les documents
<book nbpages="100"/>
et
<book nbpages="{xsd:integer}"/>
devraient être valides.
Est-ce que les documents
<book nbpages="{xsd:int}"/>
<book nbpages="{xsd:token}"/>
devraient également l'être? pourquoi?
Si le schéma est :
<book nbpages="100"/>
est-ce que les documents
<book nbpages="{xsd:int}"/>
<book nbpages="{xsd:token}"/>
doivent être valides? pourquoi?
Une ligne relativement logique serait de considérer qu'un "document" est
valide par rapport à un schéma si et seulement si il décrit (lorsqu'il
est lui même utilisé en tant que schéma), un sous ensemble (ou
restriction) de ce que définit son schéma. C'est malheureusement
impossible à vérifier avec un processeur RELAX NG dans le cas général
(sans parler des règles Schematron que l'on peut ajouter).
Et tout cela risque ce se compliquer si l'on ajoute plus de
fonctionnalités "non iconiques" telles que le compositeur "choice" que
l'on me demande d'ajouter actuellement...
Cordialement,
Eric van der Vlist
--
GPG-PGP: 2A528005
Curious about Relax NG? Read my book online.
http://books.xmlschemata.org/relaxng/
------------------------------------------------------------------------
Eric van der Vlist http://xmlfr.org http://dyomedea.com
(ISO) RELAX NG ISBN:0-596-00421-4 http://oreilly.com/catalog/relax
(W3C) XML Schema ISBN:0-596-00252-1 http://oreilly.com/catalog/xmlschema
------------------------------------------------------------------------
-- Attached file included as plaintext by Ecartis --
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)
iD8DBQBD4y9SDvn+ZCpSgAURAhgaAKCMFIRFRn+QkYsQZLvEfFELjHBzfACfcjzG
BGl1xGYmNDLXpkOY7kTS3PA=
=fzqt
-----END PGP SIGNATURE-----
--
Devenez redacteur <XML>fr et contribuez au developpement du
xml francophone (http://xmlfr.org/infos/redacteurs/) !
Liste de diffusion "xml-tech@xmlfr.org" (http://xmlfr.org).
Cette liste est a votre disposition pour discuter en francais de
tout sujet technique lie a XML.
Pour resilier votre abonnement, envoyez un message contenant
la commande "unsubscribe" a xml-tech-request@xmlfr.org
(mailto:xml-tech-request@xmlfr.org?Subject=unsubscribe)
Received on Fri Feb 3 11:24:20 2006
