Exercises: Übung zu Conformance Checking - Details

Exercises: Übung zu Conformance Checking - Details

You are not logged into Stud.IP.

General information

Course name Exercises: Übung zu Conformance Checking
Course number INF-3011
Semester WS 2024/25
Current number of participants 0
expected number of participants 10
Home institute Lehrprofessur für Informatik
Courses type Exercises in category Teaching
Participants 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
Pre-requisites 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)
Learning organisation 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.
Performance record 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 Yes
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 points 6

Rooms and times

No room preference

Module assignments

Comment/Description

Diese Veranstaltung gibt einen Überblick über das Forschungsgebiet Conformance Checking als Teil des Forschungsgebietes Process Mining.
Themenübersicht:
- Petrinetze und Workflownetze als Prozessmodelle
- Event Logs als Repräsentation von Ist-Prozessen
- Fitness-Metriken und ihre Schwächen
- Precision-Metriken und ihre Schwächen
- Generalization-Metriken und ihre Schwächen
- Simplicity-Metriken und ihre Schwächen

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".
The following rules apply for the admission:
  • Admission locked.