Syllabus

Titel
1028 Formal Foundations of Business Process Modeling
LV-Leiter/innen
Dr. Claudio Di Ciccio, M.Sc.
Kontakt
  • LV-Typ
    PI
  • Semesterstunden
    2
  • Unterrichtssprache
    Englisch
Anmeldung
02.09.2019 bis 27.09.2019
Anmeldung über LPIS
Hinweise zur LV
Die Lehrveranstaltung wird nur im WS angeboten.
Planpunkt(e) Master
Termine
Wochentag Datum Uhrzeit Raum
Mittwoch 02.10.2019 09:00 - 13:00 D2.0.030
Mittwoch 09.10.2019 09:00 - 13:00 D2.0.030
Mittwoch 23.10.2019 09:00 - 13:00 D2.0.030
Mittwoch 30.10.2019 09:00 - 13:00 D2.0.030
Montag 11.11.2019 09:00 - 13:00 D3.0.222
Donnerstag 21.11.2019 14:00 - 18:00 TC.5.03

Inhalte der LV

This lecture covers formal concepts of business process modelling. These include finite state automata, linear temporal logics, Petri nets, behavioural semantics, textual analysis, model quality, formal verification, model matching and model comparison.

Lernergebnisse (Learning Outcomes)

Successful students will be able to formulate formal properties of a model, verify them, conduct and interpret analysis results, and be able to apply matching and comparison techniques. Furthermore, students get familiar with the recent research discussion in this field.

Regelung zur Anwesenheit

This course is classified as a course with continuous assessment (PI). The mandatory attendance rules thus apply as explained in the dedicated page on WU website.

Lehr-/Lerndesign

The course is designed as a lecture with accompanying class exercises and homework assignments.

Leistung(en) für eine Beurteilung

The students will take part in an exam, will submit homework assignments and present them in class.

Homework (total): 30%

Exam (total): 70%

Literatur

1 Autor/in: Dumas et al.
Titel:

Fundamentals of Business Process Management


Verlag: Springer-Verlag
Auflage: 2nd Edition
Anmerkungen: http://fundamentals-of-bpm.org/
Jahr: 2018
Empfehlung: Stark empfohlen (aber nicht absolute Kaufnotwendigkeit)
Art: Buch

Teilnahmevoraussetzung(en) und Vergabe von Wartelistenplätzen

Participants are expected to be familiar with the content of the course(s) on Business Process Management.

Empfohlene inhaltliche Vorkenntnisse

The participants should understand the fundamental concepts of process modelling languages like BPMN and the general motivations of Business Process Management.

Erreichbarkeit des/der Vortragenden

Please contact the instructor via email for appointments.

Zuletzt bearbeitet: 14.11.2019



Zurück