Debugging Standard Document Formats - TYREX Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Debugging Standard Document Formats

Nabil Layaïda
Pierre Genevès

Résumé

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.
Fichier principal
Vignette du fichier
WWW2010.pdf (118.84 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00494245 , version 1 (22-06-2010)

Identifiants

Citer

Nabil Layaïda, Pierre Genevès. Debugging Standard Document Formats. 19th International Conference on World Wide Web (WWW 2010), Apr 2010, Raleigh, NC, United States. pp. 1269-1272, ⟨10.1145/1772690.1772899⟩. ⟨hal-00494245⟩
299 Consultations
119 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More