Business Process Management

Concepts, Languages, Architectures (Second Edition)


a) Which of the following Workflow Patterns (see are directly supported in EPC and BPMN? If yes, through which constructs?
  1. Synchronization (XOR-join)
  2. Multi-Choice (OR-split)
  3. Multiple Instances with a-priori runtime knowledge
  4. Explicit termination

b) How can EPC and BPMN processes be checked for correctness (e.g. absence of deadlocks)?

More information on EPC and BPMN can be found in the book in chapters 4.3 and 4.7, respectively.