Manipulation der Typisierung serialisierter SKilL-Graphen

Abstract

Das Ziel der Masterarbeit ist es, ein Werkzeug zur Manipulation der Typen und Objekte von serialisierten SKilL-Graphen zu entwickeln. Dafür bietet das Werkzeug verschiedene Möglichkeiten der Manipulation. Zunächst wird eine Methode bereitgestellt, welche effizient alle Objekte löscht, die von einer Menge von Wurzelobjekten nicht erreichbar sind. Ebenso können einzelne Felder aus Typen sowie ganze Typen aus dem Graphen entfernt werden. Darüber hinaus ist es möglich, den Graphen auf eine neue Spezifikation zu projizieren. Hierbei wird sichergestellt, dass eine Projektion des Graphen auf die gegebene Spezifikation durchführbar ist. Zusätzlich ist eine Änderung und Prüfung der Restrictions während bzw. nach der Projektion möglich. Ferner konnte die Normalisierung durch eine Ordnungsfunktion auf eine abstrakte Weise umgesetzt werden. Jede der Methoden liest zunächst eine Binärdatei ein, manipuliert dann den Graph und schreibt die Daten anschließend wieder in eine Binärdatei. Durch geeignete Tests wird die Funktionsfähigkeit der Methoden gezeigt.