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