XML Schema Definition (XSD)

Transcript

1 Corso di Laurea Specialistica in Ingegneria Informatica Corso di Linguaggi e Tecnologie Web A. A XML Schema Definition (XSD) Eufemia TINELLI

2 Contenuti XML Schema e DTD Formato XML Schema Tipi semplici Tipi complessi Dichiarazione di elementi Dichiarazione di attributi Namespace XSD per RecipeML

3 Introduzione Ben presto ci si accorse che XML non era solo limitato al contesto web, ma era qualcosa di più: uno strumento che permetteva di essere utilizzato nei più diversi contesti, dalla definizione della struttura di documenti, allo scambio delle informazioni tra sistemi diversi, dalla rappresentazione di immagini alla definizione di formati di dati La buona forma di un documento XML è una proprietà puramente sintattica ma la validazione? Linguaggi di schema Per esprimere documenti di testo, i DTD probabilmente bastano, ma per esprimere blocchi di dati strutturati, è necessario un meccanismo di verifica più raffinato XML Schema è stato pensato per fornire quel supporto di validazione che i DTD permettono solo parzialmente, in particolare sul contenuto degli elementi e degli attributi del documenti XML

4 XML Schema o XML Schema Definition (XSD) E una delle attività del working group su XML. Ha prodotto 7 generazioni di working draft, per poi divenire recommendation nel maggio del XML Schema Requirements Principi di progettazione: Più espressivo di XML DTD Auto-descrittivo Semplice da implementare E diviso in due parti: XML Schema Part 1: Structures (struttura del documento XML Schema) XML Schema Part 2: Datatypes (modello dei dati e meccanismi di estensione dei tipi)

5 XSD e DTD (1) Modularità I DTD offrono le entità parametriche per tutto: content model ripetuti, frammenti di DTD riusabili, modularizzazione delle specifiche. XML Schema offre: Un meccanismo di inclusione di file Un sistema di tipi gerarchico e complesso Un sistema di specifica di frammenti riutilizzabili di content model e attributi. Gestione dei namespace I DTD ignorano i namespace. E' molto complesso far convivere DTD e qualifica degli elementi. XML Schema permette esplicitamente di qualificare gli elementi e gli attributi, e fornisce molte funzionalità di estensione o limitazione dei vincoli sugli elementi a seconda del loro namespace

6 XSD e DTD (2) Vincoli su elementi e attributi I DTD permettono un ragionevole controllo degli elementi strutturati, ma poca flessibilità sui content model misti. Inoltre non permettono vincoli sugli elementi di testo (#PCDATA e CDATA) a parte le liste di valori negli attributi XML Schema amplia il set di vincoli per gli elementi strutturati, ed è molto più flessibile negli elementi con content model misto. Inoltre permette di definire tipi semplici, ovvero di esprimere vincoli su dati di tipo stringa, in maniera completa e sofisticata. Documentazione esplicita Allegare documentazione per esseri umani in un DTD significa inserire commenti XML dentro al DTD. Questo è limitante e fragile (i parser eliminano i commenti) XML Schema permette di inserire annotazioni in maniera esplicita e controllata, in maniera che sopravviva al parser

7 XSD e DTD (3) Sintassi XML I DTD usano una sintassi propria e particolare, che richiede parser appositi e strumenti di generazione e verifica appositi. XML Schema usa XML come sintassi. Tutti gli strumenti che si usano per XML sono immediatamente utili: parser, visualizzatori, verificatori, ecc. Per contro, XML Schema è estremamente più verboso, tre o quattro volte più lungo del corrispondente DTD, e molto spesso meno chiaro da leggere

8 I 4 costrutti di XSD Definizione di tipi semplici definisce una famiglia di stringhe di caratteri Unicode con una precisa semantica per interpretare le stringhe Definizione di tipi complessi definisce un insieme di requisiti per attributi, elementi e CDATA negli elementi che sono assegnati a quel tipo Dichiarazione di elementi associa un nome di elemento ad un tipo (semplice o complesso). Un documento XML è valido se ogni elemento in esso contenuto soddisfa tutti i requisiti del tipo associato nella relativa XSD Dichiarazione di attributi associa un nome di attributo ad un tipo semplice (attributi possono contenere solo testo non strutturato!)

9 Formato di un XSD Un documento di XML Schema è racchiuso in un elemento <schema> (il root element), e può contenere, in varia forma ed ordine, i seguenti elementi: <import> ed <include> per inserire, in varia forma, altri frammenti di schema da altri documenti <simpletype> e <complextype> per la definizione di tipi denominati usabili in seguito <element> ed <attribute> per la definizione di elementi ed attributi <attributegroup> e <group> per definire serie di attributi e gruppi di content model complessi e denominati. <notation> per definire notazioni non XML all interno di un documento XML <annotation> per esprimere commenti per esseri umani o per applicazioni diverse dal parser di XML Schema

10 I tipi in XSD Gli elementi e gli attributi sono istanze di un tipo: Un tipo semplice (simple type o datatype) è un tipo di dati che non può contenere markup e non può avere attributi. In pratica è una sequenza di caratteri. E' una specificazione (e restrizione) di CDATA o #PCDATA. Un tipo complesso è un tipo di dati che può contenere markup e avere attributi. E' l'equivalente di un tipo strutturato o misto. XML predefinisce un grande numero di tipi semplici primitivi: string, decimal, float, boolean, urireference, date, time, ecc. Ogni tipo semplice è caratterizzato da alcune proprietà, dette facets, che ne descrivono vincoli e formati (permessi ed obblighi). E data possibilità di derivare nuovi tipi, sia per restrizione che per estensione di permessi ed obblighi. E' possibile derivare i tipi semplici per restrizione, unione o lista Il nome di un tipo semplice appartiene allo stesso namespace di XML Schema

11 Tipi semplici primitivi: Una lista parziale string: una stringa di caratteri. boolean: i valori 'true ' e 'false' decimal: una stringa di numeri (con segno e punto): ' ' float: un reale in notazione scientifica: '12.78E-12 '. duration: una stringa per una durata temporale nel formato PnYnMnDTnHnMnS. Ad esempio 'P1Y2M3DT10H30M ' è la durata di 1 anno, 2 mesi, 3 giorni, 10 ore, e 30 minuti date: una data nel formato CCYY-MM-DD: ' ' time: una stringa rappresentante una ora nel formato hh:mm:ss hexbinary: dati binari arbitrari in formato esadecimale: '0FB7' anyuri: la stringa di un URI, come " Accetta sia URI relativi che assoluti

12 Tipi semplici primitivi e derivati: Vista completa

13 Definire Elementi e Attributi Si usano gli elementi <element> e <attribute>. Se sono posti all interno del tag schema sono elementi ed attributi globali. Altrimenti sono usabili solo all interno di elementi che li prevedono come tipo. Questi hanno vari attributi importanti: Name: il nome del tag o dell attributo (definizione locale) Ref: il nome di un elemento o attributo definito altrove (definizione globale) Type: il nome del tipo, se non esplicitato come content maxoccurs, minoccurs: il numero minimo e massimo di occorrenze mixed: se uguale a true implica un content model misto altrimenti il content può contenere solo whitespace

14 Elementi ed attributi - esempio

15 Facets di tipi semplici Per ogni tipo si possono precisare dei facets, delle caratteristiche indipendenti tra di loro che specificano aspetti del tipo: Length: lunghezza di una stringa o del numero di elementi di una lista minlength, maxlength: lunghezza minima e massima minexclusive, mininclusive, maxexclusive, maxinclusive: valore massimo e minimo, inclusivo ed esclusivo pattern: espressione regolare che il valore deve soddisfare enumeration: lista all interno della quale scegliere il valore whitespace: determina il modo in cui vengono gestiti i whitespace (valori: replace, collapse, preserve) totaldigits: massimo numero di cifre consentite (per i tipi numerici)

16 Derivazione per restrizione esempi Si parte da un tipo già definito (base type) e ne si restringe il set di valori leciti attraverso l'uso di facet:

17 Derivazione per unione L'insieme dei valori leciti è data dall'unione dei valori leciti di due tipi semplici

18 Derivazione per lista Sono valori leciti una lista separata da virgole di valori del tipo semplice specificato Schema Istanza

19 Tipi complessi Definire i tipi complessi: Tipi complessi con attributi ed elementi Tipi complessi derivati per restrizione o estensione da tipi semplici o complessi (simplecontent) Tipi complessi derivati per restrizione o estensione da tipi complessi (complexcontent) Collezione di elementi (group) ed attributi (attributegroup) Non esistono tipi complessi predefiniti o primitivi La derivazione può avvenire per restrizione o estensione: Per restrizione: si limitano ulteriormente i vincoli espressi modificando minoccurs e maxoccurs, fissando dei valori per certi elementi o attributi, o imponendo ad un elemento un sottotipo del tipo originario Per estensione: aggiungendo al content model nuovi elementi o nuovi attributi. N.B.: i nuovi elementi sono posti necessariamente alla fine degli altri

20 Tipi complessi con attributi ed elementi (1) Come nei DTD si usano virgole e caret per specificare obblighi e scelte tra gli elementi di un content model complesso, così in XML schema si usano <choice>, <sequence> e <all>. Questi sostituiscono anche le parentesi. La sequenza (A, B, C) diventa La scelta (A B C) diventa

21 Tipi complessi con attributi ed elementi (2) Il raggruppamento non ha bisogno di parentesi: (A, ( B C)) diventa Possono contenere opzionalmente riferimenti ad elementi o attributi nelle forme: empty che corrisponde semplicemente ad una sequenza vuota di elementi

22 Tipi complessi con attributi ed elementi (3) XML Schema riprende l'operatore & di SGML: tutti gli elementi debbono essere presenti, ma in qualunque ordine. (A & B & C) diventa Any: costrutto che offre dei meta-caratteri per poter corrispondere (matches) a qualunque elemento (anyattribute a qualunque attributo). Se viene specificato l attributo namespace il suo valore è una lista di URIs separati da whitespace o uno dei seguenti valori speciali: ##targetnamespace. Solo elementi dal targetnamespace ##local. Namespace di default ##any. Qualsiasi namespace (valore di default) ##other. Qualsiasi namespace tranne il targetnamespace

23 Come definire schemi aperti - Any <complextype name= card_type"> <sequence> <element ref= b:name /> <element ref= b:title /> <element ref= b: /> <element ref= b:phone minoccurs= 0 /> <element ref= b:logo minoccurs= 0 /> <any namespace= ##other minoccurs= 0 maxoccurs= unbounded processcontents= skip /> </ sequence> </complextype > Attributo processcontents fornisce istruzioni per il processore dello schema: skip per saltare la verifica dell elemento in oggetto e dei suoi discendenti, strict richiede la validazione (valore di default), lax verifica nel caso sia definito e disponibile uno schema Stessa struttura per definire un qualunque attributo

24 Cardinalità degli elementi Per specificare ripetibilità e facoltatività, si usano gli attributi minoccurs e maxoccurs: XML Schema permette non solo i valori 0, 1 e infinito, ma qualunque numero intero. Infinito è "unbounded", e può essere usato solo per maxoccurs. Per default entrambi valgono 1. Inoltre, minoccurs maxoccurs

25 Content model misti Il content model misto aggiunge semplicemente l attributo mixed con valore true. Qualunque espressione di elementi viene rispettata, ma il PCDATA può comparire ovunque, prima o dopo questi elementi

26 Restrizione o estensione di tipi Qualunque elemento preveda attributi è necessariamente di un tipo complesso. XML Schema differenzia infatti tra tipi complessi con contenuto semplice (simplecontent) e tipi complessi con contenuto complesso (complexcontent). Questa è la definizione per estensione di un tipo il cui contenuto è semplice (base type) ma che prevede un attributo

27 simplecontent - Derivazione per restrizione

28 complexcontent - Derivazione per estensione

29 group e attributegroup E possibile raccogliere gli elementi e gli attributi in gruppi, assegnandoli un nome in modo da poter essere riusati

30 Descrizioni locali e globali Una definizione si dice globale se è posta all'interno del tag <schema>. In questo caso l'elemento o l'attributo è definito in maniera assoluta. Una definizione si dice locale se è inserita all'interno di un tag <complextype>. In questo caso l'elemento o l'attributo esiste solo se esiste un'istanza di quel tipo, e l'elemento non può essere un elemento radice del documento. E' possibile all'interno di un tipo complesso fare riferimento ad un elemento globale, usando l'attributo ref invece che name Globale Locale

31 Namespace (1) La dichiarazione di targetnamespace definisce il namespace del documento da validare. Gli attributi elementformdefault e attributeformdefault permettono di controllare se l uso del prefisso è necessario per i tipi non globali

32 Namespace (2) Gli attributi elementformdefault e attributeformdefault controllano se gli elementi e gli attributi locali siano per default qualificati o non qualificati. N.B. Per default sono NON qualificati!! Per l esempio sotto bisogna porre elementformdefault a qualificato, altrimenti non funziona niente

33 Collegare documenti XML e schemi schemalocation è costituito da due parti: URI che deve corrispondere al target namespace e URI che localizza lo schema XML E possibile avere coppie multiple di URIs XSD supporta documenti XML senza namespace omettendo l attributo targetnamespace e a tale schema ci si deve riferire con l attributo nonamespaceschemalocation al posto di schemalocation

34 Modularizzazione In XML Schema, esistono meccanismi per dividere lo schema in più file, o per importare definizioni appartenenti ad altri namespace Include: Le nuove definizioni appartengono allo stesso namespace, ed è come se venissero inserite direttamente nel documento. <include schemalocation= URI /> Redefine: come include, le definizioni appartengono allo stesso namespace, ma possono venire ridefiniti tipi, elementi, gruppi, ecc. <redefine schemalocation= URI > </redefine> Import: le nuove definizioni appartengono ad un altro namespace, ed è l'unico modo per fare schemi che riguardino namespace multipli <import namespace= NS schemalocation= URI />

35 Uniqueness,, Keys, References In XML Schema, è possibile richiedere che certi valori siano unici, o che certi valori siano chiavi di riferimenti, analoghi alla coppia ID/IDREF in XML classico. Tuttavia, è possibile specificare pattern molto complessi come elementi chiave

36 XSD per RecipeML (1)

37 XSD per RecipeML (2)

38 XSD per RecipeML (3)

39 RecipeML problemi problemi risolti e NON Le calorie sono numeri non negativi Le proteine dovrebbero essere espresse nella forma N% con N compreso tra 0 e 100 I commenti dovrebbero poter essere inseriti ovunque nel contenuto della recipe Unità di misura dovrebbe essere consentita quando è espressa la quantità Gli elementi ingredient annidati dovrebbero essere permessi quando non è specificata la quantità

40 Limiti di XSD e Best practices Un po complicato Non è possibile scrivere una descrizione XML schema di XML schema Con mixed= true non è possibile vincolare il contenuto di tipo testo Il meccanismo di ridefinizione dei tipi è complicato Usare: namespace, definizioni globali, definizioni esistenti quando possibile Non usare: redefine, list, derivazione di tipi complessi per restrizione, elementi locali non qualificati

41 Riferimenti Specifiche Testo consigliato A. Moller and M. Schwartzbach, An Introduction to XML and Web Technologies, Addison Wesley, 2006 [cap. 4]