Safe Template Processing of XML Documents

• Main Author: Hartmann, Falk
• Other Authors: Technische Universität Dresden, Fakultät Informatik
• Format: Doctoral Thesis
• Language: English
• Published: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden 2011
• Subjects: XML; Verarbeitung; Sicherheit; Validierung; Template; processing; safety; validation; template; ddc:004; rvk:ST 230; rvk:ST 250 X70
• Online Access: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-75342; http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-75342; http://www.qucosa.de/fileadmin/data/qucosa/documents/7534/PhD-Printversion-v2.pdf

Templates sind eine etablierte Technik zur Zusammenführung verschiedener Datenquellen, welche zum Zwecke der Separation of Concerns getrennt gehalten werden sollen. Bei der Benutzung bestehender Ansätze tritt das Problem auf, dass zur Zeit der Erstellung eines Templates keine Aussagen über die Ergebnisse der Ausprägung des Templates gemacht werden können. Die Arbeit konzipiert einen alternativen Template-Ansatz und setzt diesen für XML-basierte Zielsprachen um. Die dadurch ermöglichte sichere templategestützte Verarbeitung von XML-Dokumenten zeichnet sich durch dadurch aus, das bereits zur Erstellungszeit eines Templates Aussagen über das Ergebnis der Template-Ausprägung getroffen werden können. Darüber hinaus adressiert der neue Ansatz weitere Fehlerquellen, welche typischerweise bei der Ausprägung von Templates auftreten.