Towards the formal foundation of orchestration process
Chang Yang, Farong Zhong · 2014
With the growth of interest on the web services, people pay increasingly attention to the orchestration, that is, to describe interaction of participants in accomplishing a common business goal from a local viewpoint. In this paper, based on the classical process calculus and orchestration language, we study some essential facets of related to BPEL process, especially those related to the control-flow, including syntax and semantics, etc. The study reveals some clues about the language, the behavioral compatibility and state explosion of orchestration.