Skip to Main content Skip to Navigation
Conference papers

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

Pierre Genevès 1, * Nabil Layaïda 1
* Corresponding author
1 TYREX - Types and Reasoning for the Web
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble [2007-2015]
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [3 references]  Display  Hide  Download

https://hal.inria.fr/hal-00837765
Contributor : Tyrex Equipe <>
Submitted on : Monday, June 24, 2013 - 12:04:26 PM
Last modification on : Thursday, July 9, 2020 - 9:44:48 AM
Document(s) archivé(s) le : Wednesday, September 25, 2013 - 4:09:35 AM

File

p219-geneves.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00837765⟩

Share

Metrics

Record views

858

Files downloads

231