An Approach to Validating Transactional Properties of WS-BPEL Composition
As composite web services are often long lasting, loosely coupled, cross application and administrative boundaries, transactional support to integrated business via composing individual web services is a critical issue. Currently, WS-BPEL which is more expressive than traditional workflow language, has been the de facto standard for web service composition. However, most works on transactional properties focus on structured workflows, and there is no tool to validate transactional properties for WS-BPEL processes. In this paper, we present a technique to analyze WS-BPEL files to validate whether a process complies with the expected transactional properties. We identify key point and risk point to help validate whether a process is well-formed. The validation technique can assess the correctness of WS-BPEL process specifications and therefore can help process designers to identify ill-formed processes.
Shi-Ting Wen Qing Li Lihua Yue An Liu
Department of Computer Science and Technology, University of Science & Technology of China, Hefei, C Joint Research Lab of Excellence, CityU-USTC Advanced Research Institute, Suzhou, ChinaDepartment of Department of Computer Science and Technology, University of Science & Technology of China, Hefei, C
国际会议
Fifth International Conference on Semantics,Knowledge and Grid(第五届语义、知识与网格国际会议 SKG 2009)
珠海
英文
216-223
2009-10-12（万方平台首次上网日期，不代表论文的发表时间）