Forschungsthemen
[DA] Ein Framework für Tools and Materials auf Basis von Predicate Dispatch
Der Tools and Materials (TAM) Ansatz ermöglicht die Entwicklung modularisierter und erweiterbarer Anwendungen: anstelle einer geschlossenen Anwendung mit statischen Abhängigkeiten zwischen Datenmodell und den darüber liegenden View- und Controller-Schichten, verfolgt TAM einen offenen, erweiterbaren Ansatz mit Werkzeugen, die vom Modell unabhängig entwickelt und von der Laufzeitumgebung automatisch zu einer Anwendung integriert werden können.
Die Anwendbarkeit von Werkzeugen auf Modellobjekte kann dabei mit Hilfe von Reflection-Mechanismen festgestellt werden. Bei aktuellen statisch und dynamisch typisierten Sprachen ist es jedoch schwierig, die Anwendbarkeit von Werkzeugen mit Sprachmitteln formal exakt und flexibel zu spezifizieren, da die zu Grunde liegenden Typsysteme oft zu wenig Ausdrucksstärke besitzen.
Mit Predicate Dispatch existiert eine Lösung, die ein ausdrucksstarkes Typsystem bereitstellt. Die Bibliothek Predicate-C bietet dabei mit Hilfe von Einschränkungen an der Prädikatsprache einen effizienten Mechanismus zur Typisierung an, der zudem sprachübergreifend und mit wenig externen Abhängigkeiten eingesetzt werden kann.
Zielsetzung und angestrebte Arbeitsergebnisse:
- Es soll ein Framework für TAM entwickelt werden, welches auf Predicate-C basiert. Dieses Framework soll die Modellierung von Datenobjekten und kontextabhängigen Werkzeugen, sowie deren Ausführung ermöglichen.
- Als Beispielanwendung soll jeweils ein Kontext für eine textuelle Bearbeitung von Daten mit unmittelbarer Persistenz und ein Kontext für eine web-basierte Bearbeitung von Daten mit transaktionaler Persistenz geschaffen werden.
- Zur Evaluation soll die Komplexität des verwendeten Programmcodes einer bestehenden MVC-Anwendung auf Basis von Rails, mit einer teilweisen Neuimplementierung in der TAM-Umgebung verglichen werden.
Betreuer: Sebastian Götz