Syllabus
Title
1195 Formal Foundations of Business Process Modeling
Instructors
Univ.Prof. Dipl.-Wirt.Inform.Dr. Jan Mendling
Type
PI
Weekly hours
2
Language of instruction
Englisch
Registration
09/01/17 to 12/04/17
Registration via LPIS
Registration via LPIS
Notes to the course
This class is only offered in winter semesters.
Subject(s) Master Programs
Dates
This lecture covers formal concepts of business process modeling. These include Petri nets, behavioural semantics, textual analysis, model quality, formal verification, model matching and model comparison.
Successful students will be able to formulate formal properties of a model, conduct and intepret analysis results, and be able to apply matching and comparison techniques. Furthermore, students get familiar with the recentresearch discussion in this field.
The course is designed as a lecture with accompanying class exercises and workign assignments.
Reflections on recent research insights
The students will take part in an exam, will submit work assignments and present them in class.
Homework 1: 10%
First Exam: 20%
Homework 2: 10%
Second Exam: 60%
Participants are expected to be familiar with the content of the course Business Process Management. Generally, it is assumed that the concepts described in Dumas et al.: Fundamentals of Business Process Management, Springer 2013, are understood.
The participants should understand the general concepts of languages like BPMN and the general motivations of business process management.
Last edited: 2017-03-30
Back