Towards a Formal Verification Approach for Business Process Coordination

  title={Towards a Formal Verification Approach for Business Process Coordination},
  author={Min Yuan and Zhiqiu Huang and Xiang Li and Yan Yan},
  journal={2010 IEEE International Conference on Web Services},
BPEL (Business Process Execution Language) enacts a process-oriented web service orchestration, and multi-business processes can be regarded as BPEL composition. A business process can be regarded as a complex set of interactions among Web services to achieve a defined goal. The achievement of distributed agreement among multiple-participant services is an orthogonal problem outside the scope of BPEL, so the rationality for distributed coordination of multi-business processes is an urgent issue… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 17 references

Web Services Transaction (WS-TX)

  • M. Little, T. Freund, M. Feingold, I. Robinson
  • Version 1.2, OASIS Standard, Feb. 2009.
  • 2009
Highly Influential
9 Excerpts

Similar Papers

Loading similar papers…