XML教程 4.ppt

Réécriture pour la programmation et la preuve Claude Kirchner Pierre-Etienne Moreau Application à XML Document XML XML permet de décrire des documents structurés ?xml version 1.0 encoding UTF-8 Person Age 30 Paul Person Age 42 Mark Person Age 21 Jurgen Person Age 21 Julien Person Age 24 Pierre On peut voir un document XML comme un arbre Transformation de documents XML On a envie de pouvoir manipuler ces données pour y rechercher de l’information pour générer de nouveaux documents HTML, LaTeX, PDF, XML, etc. Quels sont les outils permettant de le faire XSLT / XPath Xquery Xduce / Cduce DOM … Peu permettent de manipuler un document XML en Java Les manipulations se font souvent en utilisant DOM directement Exemple On veut savoir s’il existe un noeud de la forme Julien xml version 1.0 encoding UTF-8 Person Age 30 Paul Person Age 42 Mark Person Age 21 Jurgen Person Age 21 Julien Person Age 24 Pierre Filtrage Il faut savoir si un pattern XML filtre vers un noeud de document XML On aimerait pouvoir écrire %match t Julien - // Noeud trouvé Ou plus généralement : X - … Modèle de donnée simplifié ElementNode name:str, attrList:TNodeList, childList:TNodeList - TNode AttributeNode name:str, value:str - TNode TextNode data:str - TNode conc TNode* - TNodeList XML vs. Term Un document XML peut se voir comme un arbre A a at1 est représenté par : ElementNode A, conc AttributeNode a, at1 , conc ElementNode B,conc ,conc Pattern XML On veut pouvoir écrire un pattern de la forme A a at1 X qui sera encodé par : ElementNode A, conc AttributeNode a, at1 , conc X Questions A-t-on : A a at1 X A a at1 A a at1 X A a at1 Quel est le type de X ? TNode ? TNodeList ? On voudrait pouvoir écrire A a at1 X* A a at1 Quelles sont les solutions ? Questions En fonction du parseur, A a at1 peut être reconnu comme A a at1 ? ? A-t-on : A a at1 X A a at1 ? ? A a at1 X* A a at1 ? ? Comment est encodé A a at1 ? ? ? Eleme