Prüfung von Transformationen

Wenn für die Transformation auch die XML-Schema für Eingabe und Ausgabe bekannt sind,

dann kann (sollte) man prüfen, ob jedes Resultat einer Transformation tatsächlich ein Dokument erzeugt, das zum Ausgabescheme paßt

...am liebsten automatisch.

Die Schemas beschreiben reguläre Baumsprachen, die Transformation ist ein Term-Ersetzungs-System, also ist das die Frage:

für welche Ersetzungssysteme R gilt: wenn L eine reguläre Baumsprache, dann ist auch R*(L) regulär und kann effektiv bestimmt werden?



Johannes Waldmann 2006-02-02