Shiting Wen, Qing Li, Lihua Yue, An Liu. An Approach to Validating Transactional Properties of WS-BPEL Composition. In Fifth International Conference on Semantics, Knowledge and Grid, SKG 2009, Zhuhai, China, October 12-14, 2009. pages 216-223, IEEE Computer Society, 2009. [doi]
Abstract is missing.