Allgemeine Informationen
| Veranstaltungsname | Vorlesung: Conformance Checking |
| Veranstaltungsnummer | INF-3011 |
| Semester | WS 2024/25 |
| Aktuelle Anzahl der Teilnehmenden | 19 |
| erwartete Teilnehmendenanzahl | 10 |
| Heimat-Einrichtung | Lehrprofessur für Informatik |
| Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
| Nächster Termin | Montag, 25.11.2024 10:00 - 11:30, Ort: (1054N) |
| Teilnehmende |
Bei dieser Veranstaltung handelt es sich um eine Wahlpflicht-Veranstaltung im Bereich - "Theoretische Informatik" für den Master "Informatik" - "Informatik" für den Master "Wirtschaftsinformatik |
| Voraussetzungen |
Es werden keine anderen Master-Veranstaltungen vorausgesetzt, ein vorheriger Besuch der Veranstaltung "Process Mining" im Sommersemester kann aber von Vorteil sein. Wichtige Grundlagen aus dem Bachelor: - Diskrete Strukturen und Logik (empfohlen) - Einführung in die theoretische Informatik (Automaten und formale Sprachen; empfohlen) - Informatik 3 (Graphalgorithmen und NP-Vollständigkeit; empfohlen) |
| Lernorganisation |
Insgesamt gliedert sich die Vorlesung in 6 Abschnitte zu je 2-3 Wochen. Jeder Abschnitt besteht aus 3-4 Vorlesungen und einer Übung (alle jeweils 2-stündig). Pro Abschnitt wird 1 Übungsblatt ausgegeben, das in der Übung besprochen wird. Die Übungsblätter werden nicht abgegeben und nicht korrigiert. Es steht vorab ein komplettes Skript zur Vorlesung zur Verfügung. Fragen können in den Vorlesungen, Übungen und im Digicampus-Forum gestellt werden. |
| Leistungsnachweis |
Es wird eine mündliche Prüfung zum Vorlesungsende im Sommersemester angeboten. - Termine: werden noch bekanntgegeben - Ort: wird noch bekanntgegeben - Dauer: 30 - 45 Minuten Prüfungsanmeldung : Man muss sich in STUDIS (Prüfungsverwaltungssystem des Prüfungsamts) zur Prüfung anmelden. Eine STUDIS-Anmeldung führt zur Bewertung auch bei Nicht-Teilnahme (als "nicht bestanden"). Außerdem muss mit dem Lehrstuhl ein Termin für die mündliche Prüfung ausgemacht werden. Wer sich um keinen Termin bemüht, kann auch nicht geprüft werden. Es wird keine Wiederholungsprüfung angeboten. Die nächste Prüfungsmöglichkeit ist die reguläre Prüfung im Wintersemester 2025/26. |
| Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile | Ja |
| Hauptunterrichtssprache | deutsch |
| Literaturhinweise |
Josep Carmona, Boudewijn van Dongen, Andreas Solti and Matthias Weidlich: Conformance Checking - Relating Processes and Models, Springer 2018, ISBN 978-3-319-99413-0 Anja F. Syring, Niek Tax, Wil M. P. van der Aalst: Evaluating Conformance Measures in Process Mining using Conformance Propositions (Extended version), https://arxiv.org/abs/1909.02393 |
| ECTS-Punkte | 6 |
