Forschungsthemen
[] Explorative Modellvisualisierung
Moderne Modellierungssprachen werden oft durch Metamodelle beschrieben. Beim Parsen eines konkreten Modells entsteht somit eine Metamodellinstanz. Diese Instanz muß anschließend von jedem Werkzeug zur Modellauswertung (Generatoren, Konsistenzprüfer, Simulatoren etc.) traversiert und entsprechend ausgewertet werden. Bei der Entwicklung solcher Werkzeuge ist es daher hilfreich, konkrete Metamodellinstanzen visuell untersuchen zu können. Zu diesem Zweck können einfache Generatoren für Visualisierungen durch Objektgraphen eingesetzt werden. Ein Beispiel für einen solchen Generator ist das von Kai-Uwe Gärtner entwickelte Visualisierungstool für das Dresden OCL Toolkit.
Ein großes Problem bei der Visualisierung von Metamodellinstanzen ist die große Anzahl an Objekten bereits in einfachen Instanzen. Das Ziel dieser Arbeit ist die Konzeption und prototypische Umsetzung zweier Ansätze, um die Anzahl dargestellter Objekte zu reduzieren: Es ist einerseits ein explorativer Ansatz umzusetzen, bei dem zunächst nur ein Wurzelobjekt dargestellt wird, von dem ausgehend ein Nutzer sich explorativ entlang einzelner Links durch den Graphen bewegen kann. Dabei werden jeweils nur die neu besuchten Kanten und Knoten zusätzlich visualisiert. Andererseits ist eine Technik zu entwickeln, wie eine gegebene Metamodellinstanz dynamisch durch Angabe eines abstrakteren Metamodells gefiltert werden kann. Ein Eclipse-basierter Prototyp dieser beiden Ansätze ist, unter Umständen basierend auf der Arbeit von Kai-Uwe Gärtner, umzusetzen.
Im Einzelnen sind die folgenden Teilaufgaben zu lösen:
- Einarbeitung Metamodellierung und Visualisierung von Metamodellinstanzen mit GMF und dem Prototypen von Kai-Uwe Gärtner.
- Konzeption von visuellen Metaphern für und Umsetzung des explorativen Browsings von Objektgraphen.
- Konzeption und Umsetzung der dynamischen Filterung mittels abstrakterer Metamodelle.
- Dokumentation und Vergleich mit verwandten Arbeiten aus der Forschungsliteratur.
Betreuer: Steffen Zschaler