Nächste Seite:
Einleitung
XML-Modelle und Programmierung
Vorlesung, Wintersemester 2005
Johannes Waldmann, HTWK Leipzig
Einleitung
Baumstrukturierte Dokumente
XML-Dokument (Beispiel)
Form von XML-Dokumenten
Typen für Bäume
Schema-Beispiel
Zusammenfassung
XML-Benutzung
Programmierbeispiel
Übungsaufgaben
Modelle
Bäume, Terme
Positionen in Termen
Teilterme
Baum-Automaten (I)
Baum-Automaten (II)
Beispiele für reguläre Baumsprachen
Anwendungen von Baum-Automaten
Top-down oder Bottom-up
Operationen mit Baumautomaten
Kreuzproduktkonstruktion
Potenzmengenkonstruktion
Einzelheiten zu XML
Element
Sonderzeichen
Namensräume
XML-Schema
Schema
Schema, Definition
Zusammengesetzte Typen (I)
Zusammengesetzte Typen (II)
Einfache Typen
Anonyme oder benannte Typen
Typen, Einschätzung
Übungen zu XML-Schema
Namespaces und Schemas
Import von Schemas
Ableitung: Erweiterung und Einschränkung
Data mapping (Diskussion)
Data mapping für algebraische Datentypen
Data mapping (II)
Beispiel: Haskell2Xml
Haskell2Xml (II)
Data Binding/Diskussion
JAXB: von Schema zu Java
Grundlegendes
Von Schema zu Java
Castor
Castor-Beispiel
Introspektion
Introspektion (Beispiel)
Zum Vergleich: Introspektion in Haskell
Zum Vergleich: Präprozessoren
Zusammenfassung Data Binding
XML-RPC
Idee
RPC-Server/Client
HTTP-Protokoll
Einfacher RPC-Server
RPC-Aufgaben
WSDL - Web Service Descrition (Language)
WSDL
Literatur
XML-Transformationen / Term-Ersetzungs-Systeme
Idee
Variablen, Substitutionen
Positionen, Teilterme (Wiederholung)
Regeln
Regelsysteme
Beispiele
Wort- und Term-Ersetzung
Termination und Normalisierung
Aufgaben
Normalformen
Termersetzung/Anwendungen
Term-Ersetzung und Computeralgebra
Konfluenz
Lokale Konfluenz
Kritische Paare
Unifikation
Bestimmung des mgu
Orthogonale Systeme
Konstruktor-Systeme
XSLT
Ersetzungssysteme und Programmanalyse
Ersetzung und Automaten (Regularität)
XSLT
Plan
XSLT-Beispielaufgaben
XSLT-Definitionen
XSLT-Auswertung
Datenmodell von XPATH
Achsen zur Navigation
Achsen als Relationen
Achsen als Relationen
Achsen als Relationen (II)
Achsen als Relationen (III)
Kontrollfragen zu Achsen
Schritte und Knoten-Tests
Prädikate
XSLT-Rechnungen
Default-Regeln
Push und Pull
Steuerung der Auswertung
Funktionales Programmieren mit XSLT
Programmieren (Kommentar)
Aufgaben zu XSLT
Formatting Objects
Idee
Dokument- und Seitenbeschreibungssprachen
Rendering
Layout-Manager
FO und XSLT, Beispiele
Ausblick, Zusammenfassung
Verarbeitung von XPATH-Ausdrücken
Endliche Automaten
Prüfung von Transformationen
Regularitäts-Erhaltung
Wiederholung
XML sucks?
XML sucks?
autotool-Auswertung
Über dieses Dokument ...
Johannes Waldmann 2006-02-02