EPC and BPMN

a) Which of the following Workflow Patterns (see http://workflowpatterns.com/) 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.

 
Prof. Dr. Mathias Weske Prof. Dr. Mathias Weske
Business Process Technology
Hasso-Plattner-Institute
Prof.-Dr.-Helmert-Str. 2-3
D-14482 Potsdam, Germany
Phone: +49 (0) 331-5509-180
Fax: +49 (0) 331-5509-189