Process Orchestration: Execution Design
摘要
This chapter elaborates on the concepts of designing, implementing, and executing process orchestrations. This includes process execution languages with formal execution semantics, i.e., Workflow Nets, RPST, and CPEE Trees, as well as their verification. Moreover, the concepts for task and worklist design are provided. Finally, correlation is introduced as a central mechanism for service invocation during process execution.