Syllabus

Title
0909 Formal Foundations of Business Process Modeling
Instructors
Dr. Kate Cerqueira Revoredo
Contact details
Type
PI
Weekly hours
2
Language of instruction
Englisch
Registration
09/01/20 to 10/01/20
Registration via LPIS
Notes to the course
This class is only offered in winter semesters.
Subject(s) Master Programs
Dates
Day Date Time Room
Wednesday 10/14/20 09:00 AM - 01:00 PM Online-Einheit
Wednesday 10/21/20 09:00 AM - 01:00 PM Online-Einheit
Wednesday 10/28/20 09:00 AM - 01:00 PM Online-Einheit
Wednesday 11/04/20 09:00 AM - 01:00 PM Online-Einheit
Wednesday 11/11/20 09:00 AM - 01:00 PM Online-Einheit
Thursday 11/19/20 02:00 PM - 06:00 PM Online-Einheit
Procedure for the course when limited activity on campus

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

Contents

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.

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.

Attendance requirements

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.

Teaching/learning method(s)

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

Assessment

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

Assignments (total): 30%

Exam (total): 70%

Readings
1 Author: Dumas et al.
Title:

Fundamentals of Business Process Management


Publisher: Springer-Verlag
Edition: 2nd Edition
Remarks: http://fundamentals-of-bpm.org/
Year: 2018
Recommendation: Strongly recommended (but no absolute necessity for purchase)
Type: Book
Prerequisites for participation and waiting lists

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

Recommended previous knowledge and skills

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

Availability of lecturer(s)

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 master-is@wu.ac.at.

Last edited: 2020-10-08



Back