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

Pierre Genevès 1, * Nabil Layaïda 1
* Auteur correspondant
1 TYREX - Types and Reasoning for the Web
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : 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.
Type de document :
Communication dans un congrès
22nd International World Wide Web Conference (WWW'13), May 2013, Rio de Janeiro, Brazil. 2013
Domaine :
Liste complète des métadonnées

https://hal.inria.fr/hal-00837765
Contributeur : Tyrex Equipe <>
Soumis le : lundi 24 juin 2013 - 12:04:26
Dernière modification le : mardi 6 octobre 2015 - 08:46:26
Document(s) archivé(s) le : mercredi 25 septembre 2013 - 04:09:35

Fichier

p219-geneves.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00837765, version 1

Collections

Citation

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. 2013. <hal-00837765>

Partager

Métriques

Consultations de
la notice

478

Téléchargements du document

155