Towards the formal foundation of orchestration process

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.