XML-Validierung mit Haskell

Inhaltsübersicht:

1. Grundlagen XML
   • Einführung
   • Korrektheit von Dokumenten
   • Definition der Dokumentstruktur mit DTDs
   • Analogie XML zu OO-Sprachen
   • Syntax von DTDs
     • 1. Element Deklaration
     • 2. Attribut Deklaration
   
   
2. Klassische Validierung
   • Verarbeitung von XML-Dokumenten
   • Validierung bei Event-gesteuerten Ansatz
   • Algorithmus zur Validierung
   
   
3. Validierung mit HaXml
   • Einleitung
   • Verarbeitung von XML-Dokumenten mit HaXml
   • Übersetzung von Element-Deklarationen
   • Übersetzung von Attribut-Deklarationen
   • Bewertung
   
   
4. Ableiten von regulären Ausdrücken
   • Beschreibung des Algorithmus
   • Der Algorithmus in Haskell
   • Der Algorithmus im Beispiel
   • Validierung von XML-Dokumenten
   • Bewertung
   
   
5. Validieren mit Parser Kombinatoren
   • Einführung
   • Kombinatoren zur XML-Validierung
   • Beispiele
   • Bewertung
   
   
6. Literaturverzeichnis
   • Bücher
   • Online