Zur Kurzanzeige

dc.contributor.authorvon der Heyde, Markus
dc.contributor.authorGoebel, Matthias
dc.contributor.editorReussner, Ralf H.
dc.contributor.editorKoziolek, Anne
dc.contributor.editorHeinrich, Robert
dc.date.accessioned2021-01-27T13:33:53Z
dc.date.available2021-01-27T13:33:53Z
dc.date.issued2021
dc.identifier.isbn978-3-88579-701-2
dc.identifier.issn1617-5468
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/34757
dc.description.abstractEine wesentliche Aufgabe im Zuge der Digitalisierung der Verwaltungsprozesse einer Universität ist die Abbildung der Prüfungs-und Studienordnungen (PStO) im Campus-Management-System (CMS). Denn nur wenn die in diesen Ordnungen enthaltenen Regeln logisch auswertbar sind, können sie Abläufe im Student-Life-Cycle-Prozess steuern. Dieser Beitrag schlägt eine drastische Vereinfachung als technische Lösung vor. Auf Basis einer semantischen Repräsentation, die direkt aus den Ordnungen erstellt werden kann, wird die menschlich lesbare Form der Ordnung zum ,,Programmcode“ und kann direkt Einfluss auf die Umsetzung im CMS nehmen. Für die Erzeugung einer solchen sprachlichen Übersetzung, welche die notwendige Flexibilität, aber eindeutige Repräsentation erzeugen kann, wurden allgemeine Anforderungen aus der Literatur sowie 20 Studienordnungen analysiert. Die getroffene Auswahl deckt dabei alle Bundesländer, den Großteil der Hochschulformen (Volluniversitäten, Technische Universität, Hochschulen für angewandte Wissenschaften, Musik-und Kunsthochschulen), ein breites Fächerspektrum und vier verbreitete Campus-Management-Systeme ab. Im Weiteren wird aufgezeigt, warum die auf dieser Grundlage entwickelte Sprache SemaLogic die dargelegten Anforderungen erfüllt und dass der Entwicklungsstand der darauf basierenden prototypischen Umsetzung bereits in der Lage ist, die semantische Repräsentation zu erzeugen und logische Prüfungen durchzuführen. Ein Ausblick auf die potentiellen Anwendungsfälle schließt den Beitrag ab.de
dc.language.isode
dc.publisherGesellschaft für Informatik, Bonn
dc.relation.ispartofINFORMATIK 2020
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-307
dc.subjectLogische Sprache
dc.subjectSemantik
dc.subjectStudienordnung
dc.subjectPrüfungsordnung
dc.subjectModellierung
dc.titleDie Sprache «SemaLogic» als semantische Repräsentationde
mci.reference.pages531-546
mci.conference.sessiontitleHochschule 2030
mci.conference.locationKarlsruhe
mci.conference.date28. September - 2. Oktober 2020
dc.identifier.doi10.18420/inf2020_48


Dateien zu dieser Ressource

Thumbnail

Zur Kurzanzeige