Entwicklung einer O`Caml Bibliothek für die Typprüfung von XML-Transformationen basierend auf Macro Tree Transducers

• Antragsteller: Professor Dr. Helmut Seidl
• Fachliche Zuordnung: Sicherheit und Verlässlichkeit, Betriebs-, Kommunikations- und verteilte Systeme
• Förderung: Förderung von 2000 bis 2007
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5217910

In vielen Bereichen kommerzieller Datenverarbeitung fallen in großem Umfang hierarchisch strukturierte Dokumente an, deren Struktur mit Hilfe der Dokumentenbeschreibungssprache SGML (Standard Generalized Markup Language) bzw. der Nachfolgersprache XML (eXtended Markup Language) ausgezeichnet ist. Diese Dokumente sind oft automatisch erzeugt, werden in großen Dokumentbanken verwaltet und sollen auch automatisch weiterverarbeitet werden. Ziel des Projektes ist es, ein System zur effizienten Selektion und Transformation von Dokumentbestandteilen zu entwickeln. Um eine vollwertige Programmiersprache für die Transformation zur Verfügung zu haben, soll die funktionale Programmiersprache SML als Basissprache für geeignete Spracherweiterungen benutzt werden.

• DFG-Verfahren: Sachbeihilfen