Introduction to Business Process Management (Evolution of Enterprise Systems Architectures; Business Process and Business Process Models; Business Process Life-Cycle)
Flexibility Issues in Process-Aware Information Systems (Perspectives on a Process-Aware Information System; Pre-specified and Repetitive Processes and Knowledge-Intensive Processes; Variability, Looseness, Adaptation, Evolution. Process Modelling & Flexibility-by-Design)
Business Process Modelling (Conceptual models and abstraction mechanisms; Petri nets, Workflow nets and workflow modules; Workflow patterns, Event-driven Process Chains (EPC), Business Process Modelling Notation 2.0 (BPMN), Yet Another Workflow Language (YAWL); Related Extension to support flexibility)
Analysing the Behaviour of Process Models (Verifying Pre-specified Process Models; Ensuring Correctness of Configured Process Variants; Unfolding techniques)