Zustandsverwaltung mit SKilL

Abstract

In dieser Bachelorarbeit wird die Verwaltung von Zuständen und der darin beinhalteten Typen sowie deren Instanzen untersucht. Hierbei soll die Funktionalität des Suchens, Löschens und Kopierens von Instanzen implementiert werden. Die Arbeit untersucht dafür zunächst die nötigen Schritte, um die gewünschten Funktionen zu implementieren und dabei den Aufwand für die Nutzung dieser so gering wie möglich zu halten. Daher liegt der Schwerpunkt dieser Implementierung darin, dem Nutzer eindeutige Abläufe vorzugeben, für welche er keine tiefere Kenntnis bezüglich ihrer genauen Funktionalität benötigt. Durch die Vorgabe dieser Abläufe soll eine unsachgemäße Nutzung der Funktionen vermieden werden. Ein Weiterer Schwerpunkt liegt bei der Effizienz der Suche nach Instanzen. Ziel ist es, diese Suche so effizient wie möglich zu realisieren.