Studienplanung mit Hilfe von Workflow-Verifikation: Fokus Dozentensicht: Unterschied zwischen den Versionen
(Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Alexis Vezyroglou |email=uidvy@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Jutta Mülle |termin=Institutsseminar/2017-09-15 |…“) |
Keine Bearbeitungszusammenfassung |
||
| Zeile 5: | Zeile 5: | ||
|betreuer=Jutta Mülle | |betreuer=Jutta Mülle | ||
|termin=Institutsseminar/2017-09-15 | |termin=Institutsseminar/2017-09-15 | ||
|kurzfassung= | |kurzfassung=Nach der Entwicklung eines Informationssystems im Rahmen einer studentischen Teamarbeit am Lehrstuhl "Systeme der Informationssysteme\, das den Studierenden bei der Studienplanung unterstützt, soll dieses System erweitert werden, sodass es auch den Dozenten bei der Einplanung ihrer Lehrveranstaltungen in das Lehrangebot des jeweiligen Modulhandbuchs unterstützen kann. In dieser Arbeit wurde eine Anforderungsanalyse durchgeführt und konzipiert, wie das existierende System erweitert werden kann.Der Lehrstuhl hat bereits umfangreiche Erfahrung in datengestützter Veri�fikation von Prozessabläufen.Da ein Studienplan als Ablauf seiner Lehrveranstaltungen als Prozess allerdings mit involvierten Daten modelliert werden kann, wurden in dieser Arbeit Veri�fikationsmethoden untersucht und | ||
kombiniert, um eine datenwertbasierte Veri�fikation von Petri-Netz-Modellen zu ermöglichen. Anhand der Ergebnisse wurden Tests durchgeführt, um zu untersuchen, inwiefern solche Veri�fikationsmethoden die Studienpläne auf Korrektheit überprüfen können. Die Tests und die Untersuchungen haben gezeigt, dass ein Einsatz von Veri�fikationsmethoden | |||
für Petri-Netze zur Unterstützung des Systems unter bestimmten Einschränkungen ermöglicht werden kann. | |||
}} | }} | ||
Version vom 10. September 2017, 04:10 Uhr
| Vortragende(r) | Alexis Vezyroglou | |
|---|---|---|
| Vortragstyp | Bachelorarbeit | |
| Betreuer(in) | Jutta Mülle | |
| Termin | Fr 15. September 2017 | |
| Vortragsmodus | ||
| Kurzfassung | Nach der Entwicklung eines Informationssystems im Rahmen einer studentischen Teamarbeit am Lehrstuhl "Systeme der Informationssysteme\, das den Studierenden bei der Studienplanung unterst?ützt, soll dieses System erweitert werden, sodass es auch den Dozenten bei der Einplanung ihrer Lehrveranstaltungen in das Lehrangebot des jeweiligen Modulhandbuchs unterst?ützen kann. In dieser Arbeit wurde eine Anforderungsanalyse durchgeführt und konzipiert, wie das existierende System erweitert werden kann.Der Lehrstuhl hat bereits umfangreiche Erfahrung in datengest?ützter Veri�fikation von Prozessabläufen.Da ein Studienplan als Ablauf seiner Lehrveranstaltungen als Prozess allerdings mit involvierten Daten modelliert werden kann, wurden in dieser Arbeit Veri�fikationsmethoden untersucht und
kombiniert, um eine datenwertbasierte Veri�fikation von Petri-Netz-Modellen zu erm?öglichen. Anhand der Ergebnisse wurden Tests durchgef?ührt, um zu untersuchen, inwiefern solche Veri�fikationsmethoden die Studienpl?äne auf Korrektheit ?überpr?üfen k?önnen. Die Tests und die Untersuchungen haben gezeigt, dass ein Einsatz von Veri�fikationsmethoden für Petri-Netze zur Unterst?ützung des Systems unter bestimmten Einschränkungen ermöglicht werden kann. | |