eTutor XQuery und Datalog - Data & Knowledge Engineering

3.2. XQuery-Modul 27
durch dieses Tool erfolgt. Als Input für den Vergleich werden die XML-
Dokumente herangezogen, die in den vorhergehenden Schritten für die
Musterlösung und die abgegebene Lösung gemäß Abbildung 3.14 erzeugt wurden.
In Abbildung 3.15 erhalten diese Dokumente die Bezeichnung XML-Document 1
für die Musterlösung und XML-Document 2 für die potentielle Lösung. Als
Output wird ein XSL-Stylesheet generiert, das alle Unterschiede zwischen den
beiden XML-Dokumenten repräsentiert. Dieses generierte Dokument dient als
Grundlage für die tatsächliche Analyse. Das bedeutet, dass die Unterschiede, die
in der potentiellen Lösung durch den Vergleich mit der Musterlösung identifiziert
wurden, zu bestimmten Fehlerkategorien zugeordnet werden. Das Ergebnis in
diesem Diagramm, das als analysis result bezeichnet wird, ist im XQuery-Modul
ein Objekt der Java-Klasse etutor.modules.xquery.analysis.XQAnalysis.
Abbildung 3.15: Analyse von XQuery-Ergebnissen
Die Analyse von XQuery-Ausdrücken wird durch die Angabe eines wesentlichen
Parameters beeinflusst. Dabei handelt es sich um die Definition, bei welchen
XML-Elementen im Ergebnis der Musterlösung auf die Sortierung Wert gelegt
wird. Nachdem bei der Analyse der abgegebenen Lösung festgestellt wurde, dass
bestimmte XML-Elemente korrekt sind, wird im letzten Schritt noch überprüft, ob
bei diesen XML-Elementen eine bestimmte Sortierung gefordert ist, und ob diese
mit der Sortierung in der Musterlösung übereinstimmt. Die korrekt zu