XMLSchema -> un élement dans lui même

Version imprimable

Ceci est le format DTD:
<!ELEMENT op ((var, var+) | (op, op+) | (var, op+,var*) | (var*, op+, var)) >

Je voudrais l'avoir en XMLSchema si possible, j'ai essayé de la façon suivante mais ça ne marche pas! Je vous prie de bien vouloir m'aider:cry:
Description de l'erreur:
E [Xerces] cos-nonambig: op and op (or elements from their substitution group) violate "Unique Particle Attribution". During validation against this schema, ambiguity would be created for those two particles.

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
 <xs:group name="op1">
     <xs:sequence>
        <xs:element ref="op" minOccurs="2" maxOccurs="unbounded">  </xs:element>
     </xs:sequence>
   </xs:group>
    
    <xs:group name="op2">
        <xs:sequence>
            <xs:element ref="var" minOccurs="2" maxOccurs="unbounded"></xs:element>
        </xs:sequence>
    </xs:group>
    
    <xs:group name="op3">
        <xs:sequence>
            <xs:element ref="var"></xs:element>
            <xs:element ref="op" maxOccurs="unbounded"></xs:element>
            <xs:element ref="var" minOccurs="0" maxOccurs="unbounded"></xs:element>
        </xs:sequence>
    </xs:group>
    
    <xs:group name="op4">
        <xs:sequence>
            <xs:element ref="var" minOccurs="0" maxOccurs="unbounded"></xs:element>
            <xs:element ref="op" maxOccurs="unbounded"></xs:element>
            <xs:element ref="var"></xs:element>
        </xs:sequence>
    </xs:group>
    
    <xs:element name="op">
       <xs:complexType>
        <xs:choice>
            <xs:group ref="op1"></xs:group>
            <xs:group ref="op2"></xs:group>
            <xs:group ref="op3"></xs:group>
            <xs:group ref="op4"></xs:group>
        </xs:choice>
          <xs:attribute name="symbole" type="symboles_possibles"/>
       </xs:complexType>
    </xs:element>
  
      <xs:element name="var">
           <xs:complexType >
               <xs:attribute name="nom" type="xs:string"></xs:attribute>
           </xs:complexType>
      </xs:element>
    
      <xs:simpleType name="symboles_possibles">
          <xs:restriction base="xs:string">
              <xs:pattern value="[+*/-]"></xs:pattern>
          </xs:restriction>
      </xs:simpleType>

09/06/2008, 09h44
GrandFather
Bonjour,

le problème ne vient pas du fait que la définition de l'élément op soit récursive (encore que ça n'arrange rien), mais bien du fait que ton schéma est ambigu : si en premier vient un var par exemple, le validateur de schéma se retrouve face à 3 branches possibles du choice (les branches 1, 2 et 4), ce qui est interdit par la spécification du W3C (la fameuse règle du "Unique Particle Attribution"). La validation est un processus complètement déterministe, il n'y a pas de possibilité de "retour en arrière" pour essayer une autre possibilité quand celle choisie aboutit sur un échec.

Tu n'as donc que 2 possibilités :
- Soit "dégrader" un peu ton schéma pour supprimer toute ambiguïté, quitte à valider des schémas non corrects ; ça peut être fait a priori avec ce schéma :
  
  Code:
  
  <!ELEMENT op (var*, op*, var*)>
- Soit utiliser un autre langage de validation, RelaxNG est plus souple en matière de résolution de l'ambiguïté
09/06/2008, 22h48
_root

Merci pour la réponse, c'est maintenant plus clair dans ma tête.