Benutzer: Gast  Login
Originaltitel:
Type Checking XML Transformations 
Übersetzter Titel:
Typüberprüfung von XML Transformationen 
Jahr:
2007 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Seidl, Helmut (Prof. Dr.) 
Gutachter:
Neven, Frank (Prof. Dr.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Kurzfassung:
XML documents are often generated by some application in order to be processed by a another program. For a correct exchange of information it has to be guaranteed that for correct inputs only correct outputs are produced. The shape of correct documents, i.e., their type, is usually specified by means of schema languages. This thesis is concerned with methods for statically guaranteeing that transformations are correct with respect to pre-defined types. Therefore, we consider the...    »
 
Übersetzte Kurzfassung:
XML-Dokumente werden oft von Anwendungen erzeugt, um von anderen Anwendungen konsumiert zu werden. Für einen korrekten Informationsaustausch muss garantiert werden, dass für korrekte Eingaben nur korrekte Ausgaben erzeugt werden. Die vorliegende Arbeit untersucht Methoden, um statisch zu garantieren, dass eine Transformation nur korrekte Ausgaben erzeugt. Dazu betrachten wir die Sprache TL, die die Eigenschaften gängiger XML-Transformationsprachen abstrahiert. Wir zeigen, dass jed...    »
 
Mündliche Prüfung:
27.02.2007 
Dateigröße:
832712 bytes 
Seiten:
158 
Letzte Änderung:
10.07.2007