Quelltext der Seite Creating Study Plans by Generating Workflow Models from Constraints in Temporal Logic

{{Vortrag
|vortragender=Marcel Groß
|email=uddnw@student.kit.edu
|vortragstyp=Bachelorarbeit
|betreuer=Jutta Mülle
|termin=Institutsseminar/2018-03-16
|kurzfassung=Students are confronted with a huge amount of regulations when planning their studies at a university. It is challenging for them to create a personalized study plan while still complying to all official rules. The STUDYplan software aims to overcome the difficulties by enabling an intuitive and individual modeling of study plans. A study plan can be interpreted as a sequence of business process tasks that indicate courses to make use of existing work in the business process domain. This thesis focuses on the idea of synthesizing business process models from declarative specifications that indicate official and user-defined regulations for a study plan. We provide an elaborated approach for the modeling of study plan constraints and a generation concept specialized to study plans. This work motivates, discusses, partially implements and evaluates the proposed approach.
}}