Exercices sur les XML-Schemas

<?xml version="1.0" ?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
<xs:element name="prenom" type="xs:string"/>
</xs:schema>

<?xml version="1.0" encoding="iso-8859-1"?>

<prenom xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
je ne donnerai pas mon nom.
</prenom>

>xmllint --schema monschema.xsd undoc.xml

<?xml version="1.0" encoding="iso-8859-1"?>
<prenom xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
je ne donnerai pas mon nom.
</prenom>
undoc.xml validates

Testez l'exemple ci-dessus!

<!ELEMENT moncv (identification,section+)>
<!ELEMENT identification (nom,prenom,mel,adresse,age?)>
<!ELEMENT section (titre,etape+)>
<!ELEMENT etape (titre,descriptif?)>

<!ELEMENT nom (#PCDATA)>
<!ELEMENT prenom (#PCDATA)>
<!ELEMENT mel (#PCDATA)>
<!ELEMENT adresse (#PCDATA)>
<!ELEMENT age (#PCDATA)>
<!ELEMENT titre (#PCDATA)>
<!ELEMENT descriptif (#PCDATA)>

<!ATTLIST section type NMTOKEN #REQUIRED>

Ecrivez, dans un premier temps, le schéma XML équivalent à cette DTD. Pour plus de facilité, on déclarera tous les éléments en global, afin de simplifier (notamment) le test de votre schéma.

L'identification d'une personne peut se faire en indiquant le nom, ou le prénom ou les deux.

On veut pouvoir remplacer le nom et le prénom par un surnom.

Complétez l'identification d'une personne par un élément contact qui contiendra plusieurs numéros de téléphone. Le numéro de téléphone doit être muni d'un attribut qui permettra d'indiquer s'il s'agit d'un numéro de portable, domicile, travail...

Une section commence toujours par un titre, mais peut être suivie d'une série d'étapes et de paragraphes de texte en nombre quelconque. La seule contrainte est qu'il y ait au moins un paragraphe ou une étape (non, actuellement paragraphe n'est pas défini dans la DTD).

Une étape doit avoir deux attributs qui sont les dates de la période de cette étape. La date de début est obligatoire mais la date de fin est optionnelle.

Proposez un schéma pour des documents contenant des fiches d'observations ornithologiques comme le document oiseaux.xml.

Contraignez le type pour l'attribut qui précise l'origine du numéro de téléphone.

Les numéros de téléphone sont des listes de cinq entiers à deux chiffres.

Contraignez la valeur possible pour l'âge.

Les périodes doivent maintenant être données avec une date de début au format année-mois (exemples de valeurs valides : 2004-7, 2004-12) et une date de fin au même format.

Récupérez le fichier ci-joint exempleCSP2.xml .

Vous devez proposer un schéma qui modélise une contrainte CSP exprimée en XML. Voilà quelques indications complémentaires :

• dans chaque contrainte, il y a un seul élément variables, domaines, relations, predicats, etc ... qui contiennent chacun au moins un élément variable, domaine, relation, predicat, etc ...
• les éléments en-dessous de l'élément racine instance sont présentés dans l'ordre où ils se trouvent dans l'exemple;
• la présence de prédicats ou de relations est optionnelle (tous les autres sont obligatoires);
• la sémantique d'une relation est soit supports soit conflicts;
• chaque nom de variable, domaine, contrainte, relation, prédicat, ... doit être défini de manière unique
• les variables doivent être définies sur des domaines qui existent, les contraintes doivent porter sur des varioables qui existent, etc etc... Vous devez seulement assurer l'existence des éléments référencés, pas nécessairement la concordance des catégories (on validera un document dans lequel une variable est définie sur une autre variable ou sur une relation plutôt que sur un domaine, même si cela n'a pas de sens)
• une contrainte fait soit référence à un prédicat, soit à une relation, soit à une contrainte globale qui peut être soit
  • global:allDifferent
  • global:weightedSumGreaterThan
  • global:weightedSumEqualTo
  • global:weightedSumDifferentFrom
• pour le moment, seules les expressions fonctionnelles sont acceptées dans les prédicats, mais on veut pouvoir facilement enrichir le modèle;
• les paramètres formels sont indiqués par type param_name type param_name, mais pour le moment on ne considèrera que int comme type valide;
• chaque tuple d'une relation est donné par une liste de valeurs séparées par un espace (ou une fin de ligne ou...);
• les tuples sont séparés par un |

Ce qui n'a pas à être vérifié par le schéma :

• que le nombre de domaines, variables, relations, prédicats, et contraintes annoncés dans les attributs des éléments correspondants sont corrects;
• que l'arité et le nombre de tuples de chaque relation sont corrects;
• que le nombre de valeurs de chaque domaine est correct.

Le schéma devra être rendu avec des commentaires sur la structure utilisée. Pour cela, vous utiliserez les éléments xs:annotation et xs:documentation :

  <xsd:simpleType name="monTypeAmoi">
    <xsd:annotation>
      <xsd:documentation>
         Ici j'attends une description du type et à quoi il sert, ou
         toute autre information utile à sa compréhension.
      </xsd:documentation>
    </xsd:annotation>
    <xsd:restriction base="xsd:token">
      <xsd:enumeration value="toto fait du vélo."/>
      <xsd:enumeration value="titi fait du bateau."/>
    </xsd:restriction>
  </xsd:simpleType>