XML Validation: Looking Backward -- Strongly Typed and Flexible XML Processing are not Incompatible - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

XML Validation: Looking Backward -- Strongly Typed and Flexible XML Processing are not Incompatible

Nabil Layaïda

Résumé

One major concept in web development using XML is validation: checking whether some document instance fulfills structural constraints described by some schema. Over the last few years, there has been a growing debate about XML validation, and two main schools of thought emerged about the way it should be done. On the one hand, some advocate the use of validation with respect to complete grammar-based descriptions such as DTDs and XML Schemas. On the other hand, motivated by a need for greater flexibility, others argue for no validation at all, or prefer the use of lightweight constraint languages such as Schematron with the aim of validating only required constraints, while making schema descriptions more compositional and more reusable. Owing to a logical compilation, we show that validators used in each of these approaches share the same theoretical foundations, meaning that the two approaches are far from being incompatible. Our findings include that the logic in [2] can be seen as a unifying formal ground for the construction of robust and efficient validators and static analyzers using any of these schema description techniques. This reconciles the two approaches from both a theoretical and a practical perspective, therefore facilitating any combination of them.

Domaines

Web
Fichier principal
Vignette du fichier
p219-geneves.pdf (82.95 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00837765 , version 1 (24-06-2013)

Identifiants

  • HAL Id : hal-00837765 , version 1

Citer

Pierre Genevès, Nabil Layaïda. XML Validation: Looking Backward -- Strongly Typed and Flexible XML Processing are not Incompatible. 22nd International World Wide Web Conference (WWW'13), May 2013, Rio de Janeiro, Brazil. ⟨hal-00837765⟩
372 Consultations
168 Téléchargements

Partager

Gmail Facebook X LinkedIn More