Introduction to Business Process Management
Process Everywhere
Business Process Model and Instances
Business Process Life-Cycle
Classification of Business Process
Business Process Modelling
Conceptual models and abstraction mechanisms
Control Flow Patterns
Modelling Languages: Petri nets, Workflow nets and workflow modules, Yet Another Workflow Language, Event-driven Process Chains and Business Process Modelling Notation 2.0 (BPMN)
Model Understandability
Modelling Environments
Business Process Analysis
Verifying Pre-specified Process Models: Process Model Soundness and Correctness of Data Flow
Pocess Model Formalization
Verification into practice
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