Process Choreography

This chapter elaborates on the concepts of designing, implementing, and executing process choreographies and follows a model-driven, top-down approach, starting from the conceptual design of process choreography models in BPMN, over their verification using Workflow Nets, to their execution design through correlation mechanisms. This chapter also discusses the bottom-up design of process orchestrations and choreographies using process mining techniques.