Debugging Standard Document Formats

Nabil Layaïda 1 Pierre Genevès 1
1 WAM - Web, adaptation and multimedia
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : We present a tool for helping XML schema designers to obtain a high quality level for their specifications. The tool allows one to analyze relations between classes of XML documents and formally prove them. For instance, the tool can be used to check forward and backward compatibilities of recommendations. When such a relation does not hold, the tool allows one to identify the reasons and reports detailed counter-examples that exemplify the problem. For this purpose, the tool relies on recent advances in logic-based automated theorem proving techniques that allow for efficient reasoning on very large sets of XML documents. We believe this tool can be of great value for standardization bodies that define specifications using various XML type definition languages (such as W3C specifications), and are concerned with quality assurance for their normative recommendations.
Type de document :
Communication dans un congrès
Michael Rappa, Paul Jones, Juliana Freire, Soumen Chakrabarti. 19th International Conference on World Wide Web (WWW 2010), Apr 2010, Raleigh, NC, United States. ACM, pp. 1269-1272, 2010, <10.1145/1772690.1772899>
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00494245
Contributeur : Vincent Quint <>
Soumis le : mardi 22 juin 2010 - 14:58:33
Dernière modification le : mardi 22 juin 2010 - 17:12:11
Document(s) archivé(s) le : vendredi 24 septembre 2010 - 17:46:41

Fichier

WWW2010.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Nabil Layaïda, Pierre Genevès. Debugging Standard Document Formats. Michael Rappa, Paul Jones, Juliana Freire, Soumen Chakrabarti. 19th International Conference on World Wide Web (WWW 2010), Apr 2010, Raleigh, NC, United States. ACM, pp. 1269-1272, 2010, <10.1145/1772690.1772899>. <hal-00494245>

Partager

Métriques

Consultations de
la notice

292

Téléchargements du document

101