Rapport de traduction d’article XML

Schémas de sortie des feuilles de style XSLT et leurs applications

Schémas de sortie des feuilles de style XSLT et leurs applications
Résumé
Les capacités de traitement XSLT sont largement utilisées pour transformer des documents XML aux documents XML cible. Ces documents XML cible sont conformes aux schémas de sortie de la feuille de style XSLT utilisée. Les schémas de sortie des feuilles de style XSLT peuvent être utilisés pour une analyse statique de la feuille de style XSLT utilisée, pour détecter automatiquement la feuille de style XSLT du document XML cible, ou bien pour raisonner sur le schéma de sortie sans avoir accès aux documents XML cible. Dans ce papier nous développons une approche pour déterminer automatiquement le schéma de sortie d’une feuille de style XSLT. Nous décrivons aussi plusieurs scénarios d’application des schémas de sortie. L’évaluation expérimentale montre que notre prototype peut déterminer les schémas de sortie de presque toutes les feuilles de style XSLT typiques, et l’amélioration dans la précision dans plusieurs scénarios d’application lors de l'utilisation des schémas de sortie par rapport à quand nous ne les utilisons pas.
Mots clés : XML, XSLT, Schéma de sortie, testeur logique, Testeur de satisfiabilité, Testeur de confinement, Testeur d’intersection. 1. Introduction :
L'échange de données est l'une des opérations clés lorsque les partenaires coopèrent pour des raisons professionnelles, sociales ou autres. Les partenaires pourraient utiliser différents formats de données, qui pourraient être une norme d'entreprise propriétaire, un format d'application de propriété ou autres (versions de) des formats standard, pour des raisons historiques, politiques ou autres. Lorsque deux partenaires d'échange (ou plus) utilisent différents formats de données, les partenaires d'échange ont besoin de transformer leurs données. Le langage de balisage extensible (XML) est largement utilisé