Forschungsthemen
[BA] Using Reference Attribute Grammars to Model Exam Regulations
Prüfungsordnungen geben dem Studienablauf ein formalen Rahmen. Sie legen fest, welche Module ein Student belegen muss und wie diese zu prüfen sind. Hierbei gibt es eine Vielzahl an verschiedenen Prüfungsformen und Leistungen (z.B. mündliche Prüfungen, schriftliche Prüfungen, Hausarbeiten, Kolloqia, etc.). Neben den Modulen der Prüfungsordnung gibt es das Lehrangebot der Universitäten. Dieses unterteilt sich in Lehrfächer (z.B. \textit{Component-based Software Engineering (CBSE)}), Lehrangebote die festlegen welche Lehrfächer in welchem Semester angeboten werden und Lehrveranstaltungen (z.B. die CBSE Vorlesung und die CBSE Großübung). Welche Lehrangebote für welche Module genutzt werden können, wird durch die Bedingungen der Module eingeschränkt (z.B. 4 SWS Vorlesung und 4 SWS Praktika) und durch den Fakultätsrat beschlossen. Zusammengefasst lässt sich also sagen, dass die Kombination von Lehrangeboten und Prüfungsordnungen schon bei wenigen Modulen und Lehrangebot sehr komplex werden kann. Daher bietet es sich an, beides zu modellieren und für automatische Berechnungen zu nutzen. Hierzu zählen insbesondere die Vorberechnung (ob ein/e Student/in zu einer Prüfung zugelassen ist) und die Nachberechnung (welche Note ein/e Student/in für ein Modul erhält). Ziel dieser Arbeit ist zu untersuchen, ob sich Referenzattributgrammatiken~\cite{hedin2000reference} für die Modellierung von Prüfungsordnungen und Lehrangeboten eignen. Konkret sollen dabei folgende Aufgaben addressiert werden: Literaturrecherche zum Thema Modellierung und Auswertung von Prüfungsordnungen Einarbeitung in Referenzattributgrammatiken und JastAdd Konzeption einer Referenzattributgrammatik zur Darstellung von Prüfungsordnungen und dem dazugehörigen Lehrangebot Umsetzung von Attributen für die Vor- und Nachberechnung, sowie zur Überprüfung der Regeln der Prüfungsordnung Anwendung auf einen Ausschnitt der aktuellen Prüfungsordnung und des aktuellen Lehrangebots für den Bachelor Informatik
Betreuer: Sebastian Götz