Validation Est-ce que les ´el´ements sont imbriqu´es selon ce qui est attendu? Est-ce que le contenu des balises correspond `a des valeurs attendues? D´efinition d’un

Validation

Est-ce que les ´el ´ements sont imbriqu ´es selon ce qui est attendu?

Est-ce que le contenu des balises correspond `a des valeurs attendues?

D ´efinition d’un sch ´ema

•

•

•

Confrontation entre le fichier XML et le sch ´ema

D ´efinition d’un sch ´ema RNC

Suite de patrons nomm ´es de la forme:

id

=

Un des patrons est associ ´e `a

start

Patrons

• ^element

{

}

• ^attribute

{

}

Combinaisons de patrons

Patrons

element

{

}

attribute

{

}

mixed {

}

Combinaison de patrons:

•

,

•

|

•

(

)

•

?

•

*

•

+

Types simples

text

XMLSchema datatypes

• xsd:integer

• ^xsd:gYear

• ^xsd:anyURI

Contraintes / Facettes

• minInclusive

maxInclusive

• ^minLength

• ^pattern

XML valide vs sch ´ema RNC

<

>

<

>

</

>

<

>

</

>

<

>

<

>

La cigale et les fourmis

</

>

<

>

C’ ´etait l’hiver. . .

<

>

</

>

n’as-tu pas fait de provisions?

</

>

</

>

</

>

start

= element

{

attribute

{

}

}

nom

= element

{

}

mort

= element

{

}

prose

= element

{

element

{

}

}

p

= element

{

mixed { ^element

{

} }

}

Diagramme vs sch ´ema RNC

start nom mort prose

p

start = element auteur{

attribute id { xsd:ID } , nom, mort, prose+

}

nom = elementnom { text }

mort = element mort{ xsd:gYear }

prose = element prose {

element head { text} , p+

}

p = element p { mixed { elementq { text } } }

Diagramme vs XML valide

start nom mort prose

p

<

>

<

>

</

> <

>

</

>

<

>

<

>

</

>

<

>

<

>

</

>

n’as-tu pas fait de provisions?

</

>

</

>

</

>

Diagrammes r ´ecursifs

expression

terme

facteur