TY - GEN
T1 - An approach to validating transactional properties of WS-BPEL composition
AU - Wen, Shi Ting
AU - Li, Qing
AU - Yue, Lihua
AU - Liu, An
PY - 2009/12/1
Y1 - 2009/12/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=77649323045&partnerID=8YFLogxK
U2 - 10.1109/SKG.2009.51
DO - 10.1109/SKG.2009.51
M3 - Conference article published in proceeding or book
AN - SCOPUS:77649323045
SN - 9780769538105
T3 - SKG 2009 - 5th International Conference on Semantics, Knowledge, and Grid
SP - 216
EP - 223
BT - SKG 2009 - 5th International Conference on Semantics, Knowledge, and Grid
T2 - 5th International Conference on Semantics, Knowledge, and Grid, SKG 2009
Y2 - 12 October 2009 through 14 October 2009
ER -