Process Orchestration: Conceptual Design
摘要
This chapter explains and discusses concepts for the conceptual design and formal verification of process orchestrations, employing notations such as Business Process Modeling and Notation (BPMN) and Petri Nets. Process orchestrations constitute a powerful interoperability approach by integrating services, application programs, machines, and human work along a well-defined process logic.