0909 Formal Foundations of Business Process Modeling
Dr. Kate Cerqueira Revoredo
  • LV-Typ
  • Semesterstunden
  • Unterrichtssprache
01.09.2020 bis 01.10.2020
Anmeldung über LPIS
Hinweise zur LV
Die Lehrveranstaltung wird nur im WS angeboten.
Planpunkt(e) Master
Wochentag Datum Uhrzeit Raum
Mittwoch 14.10.2020 09:00 - 13:00 Online-Einheit
Mittwoch 21.10.2020 09:00 - 13:00 Online-Einheit
Mittwoch 28.10.2020 09:00 - 13:00 Online-Einheit
Mittwoch 04.11.2020 09:00 - 13:00 Online-Einheit
Mittwoch 11.11.2020 09:00 - 13:00 Online-Einheit
Donnerstag 19.11.2020 14:00 - 18:00 Online-Einheit

Ablauf der LV bei eingeschränktem Campusbetrieb

For the class in Formal Foundations of BPM the alternative scenario would be a full distance mode.

A change of the classes mode might also influence the required assignments (e.g. number of assignments, scope, evaluation, ...) and/or the format of the final exam. Necessary alterations will be communicated together with the announcement of the mode’s shift

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.


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 and in-class assignments.

Assignments (total): 30%

Exam (total): 70%


1 Autor/in: Dumas et al.

Fundamentals of Business Process Management

Verlag: Springer-Verlag
Auflage: 2nd Edition
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.

! Important information !

The Covid19 pandemic causes several uncertainties for the upcoming winter semester starting on October 5th. If possible within the valid health regulations, the Information Systems program plans to fully return to the usual mode of classroom teaching with mandatory attendance. Nonetheless, an additional “plan B”-scenario for distance and/or hybrid teaching will be prepared for every class, which can be enabled if needed.

The program management will reevaluate the situation in September and decides then whether the classes will indeed start in the usual mode or in an alternative scenario. This decision will be announced in the syllabus until September 25 [for the classes starting in the mid of the semester until November 13].

We’re aware that the issue of visa is currently delayed and we’ll include this matter into our considerations. Should you be affected by such a delay, please inform us as soon as possible via

Zuletzt bearbeitet: 08.10.2020