Skip to topic | Skip to bottom
Home

Tesi
Tesi.ProdottoCartesianor1.10 - 18 Apr 2008 - 17:19 - MaurizioCasimirritopic end

Start of topic | Skip to actions

Prodotto Cartesiano

XSDL 1.1 ha introdotto un nuovo meccanismo di validazione noto come Conditional Type Assignment (CTA), grazie al quale ad un elemento possono essere assegnati diversi tipi in base a condizioni verificate a run-time sul documento di istanza. CTA presenta delle problematiche teoriche nel verificare la corretta derivazione tra tipi. Tali problematiche sono state risolte dal W3C grazie al cosi' detto run-time checking. Lo scopo della tesi e' di implementare all'interno di un validatore esistente SchemaPath, un meccanismo di verifica statica di corretta derivazione, basato su una tecnica detta Prodotto Cartesiano. SchemaPath e' il linguaggio a cui si ispira XSDL 1.1 per CTA. Tesi assegnata a MaurizioCasimirri

-- PaoloMarinelli - 29 Oct 2007

tesi.pdf: Dissertazione
to top

I Attachment sort Action Size Date Who Comment
tesi.pdf manage 619.9 K 29 Feb 2008 - 15:05 MaurizioCasimirri Dissertazione

You are here: Tesi > ArgomentiDiTesi > ProdottoCartesiano

to top

Copyright © 1999-2017 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Fabio's Wiki? Send feedback