Modelle für Geschäftsprozesse und Services
Modulnummer:
1150960
Leistungspunkte:
6 ECTS
Lehrveranstaltungen:
- Vorlesung Modelle für Geschäftsprozesse und Services (3 SWS)
- Praktikum (1 SWS)
Prüfung:
Klausur (120 min) oder mündliche Prüfung (20 min)
Prüfungsvorleistungen:
keine
Inhalt:
Prozesse:
- Semiformale Modellierungssprachen
- Formale Modellierung
- Qualitative Anlayse (Soundness)
- Quantitative Analyse (Modellierung und Analyse von Zeit und Wahrscheinlichkeiten)
- Flexibilisierung
- Process Mining
- Conformance Checking
- Artefaktzentrische Modellierung
Services:
- Modellierungs- und Ausführungssprachen
- Komposition, Choreographien
- Formale Modellierung von Serviceverhalten
- Basisalgorithmen für Serviceverhalten: Korrektheit, Mediation, Austauschbarkeitsanalyse, Testfallgenerierung